Edición de «Demostraciones Lenguajes Regulares (Teoría de Lenguajes)»

== Autómatas ==

=== Función de transición extendida ===

La función de transición extendida o generalizada se define recursivamente sobre la cadena a la que se aplica. En el caso base (cadena vacía) devuelve el mismo estado (o su clausura lambda en un AFND-λ); en el inductivo, toma la cadena ''w + a'' y devuelve el conjunto resultante de aplicar la transición por ''a'' al conjunto de estados generado por la transicion sobre ''w''.

* Caso Base: <math>\hat \delta (q, \lambda) = q</math>
* Caso Recursivo: <math>\hat \delta (q, wa) = \delta(\hat \delta (q, w), a)</math>

Esta naturaleza recursiva permite demostrar propiedades sobre la función de transición generalizada a partir de propiedades de la función de transición común utilizando inducción sobre la longitud de la cadena. Supongamos se tiene una función <math>\delta</math> igual a una <math>\delta \prime</math>, se quiere probar que la igualdad vale tambien para la generalizada:

<math>\hat \delta \prime (q_0, wa) = \delta \prime (\hat \delta \prime (q_0, w), a)</math>   por definición de generalizada,
<br/><math> = \delta \prime (\hat \delta (q_0, w), a) </math>   por HI,
<br/><math> = \delta (\hat \delta (q_0, w), a)</math>   por igualdad entre delta,
<br/><math>= \hat \delta (q_0, wa)</math>   por definicion de generalizada.

Este esquema puede usarse para probar equivalencias o propiedades sobre funciones generalizadas dadas las de las funciones no generalizadas, y eventualmente predicar sobre el lenguaje en lugar de solamente caracteres.

=== Lenguaje aceptado por un automata ===

El lenguaje aceptado por un autómata generalmente se define como el conjunto de cadenas que derivan en un estado final al consumirse partiendo del estado inicial. Es decir, se define en función de la funcion de transicion extendida.

<math>w \in L(M) \Leftrightarrow \exists q_f \in \hat \delta (q_0, w)</math>

Esto hace que demostrar una propiedad sobre la función de transición extendida permita demostrar propiedades sobre el lenguaje aceptado por un autómata. Al demostrar equivalencia entre autómatas, conviene demostrar equivalencias entre funciones de transición extendidas.

== Equivalencias ==

=== AFND en AFD ===

Para probar que todo AFND puede representarse con un AFD, se construye uno equivalente tomando como estados todos los posibles conjuntos de estados del AFND original (partes de <math>Q</math>). Las transiciones entre los estados de este nuevo AFD se definen como las transiciones entre los conjuntos de estados del AFND. Los estados finales del AFD son aquellos conjuntos de estados del AFND que contenían algún estado final. O sea, por ejemplo, si <math>\delta'</math> es la función de transición del AFD, <math>\delta'([q_1,...,q_j], a) = [p_1,...,p_i] \Leftrightarrow \delta(\{q_1,...,q_j\},a) = \{p_1,...,p_i\}</math> . 

Una manera de demostrar que ambos aceptan el mismo lenguaje, es demostrar primero que la función de transición extendida mantiene la misma relación que la ya definida partiendo de <math>q_0</math> (el estado inicial), y luego chequear las condiciones de aceptación de una cadena de ambos autómatas. 

Para probar que el conjunto de estados al que se llega en el AFND a partir de una cadena ''x'' es el estado definido por ese mismo conjunto en el AFD, se hace inducción en la longitud de ''x'' para probar <math>\delta'([q_0], x) = [p_1,...,p_i] \Leftrightarrow \delta(q_0,x) = \{p_1,...,p_i\}</math>. El caso base (longitud cero) es trivial. El paso inductivo parte la cadena ''x'' en ''y + a'', siendo ''a'' un caracter, y aplica hipótesis inductiva y la definición de delta del AFD.

Al saber que cualquier cadena lleva a estados análogos en el AFND y en el AFD, basta verificar la aceptación de la cadena. En el AFND es aceptada sii en el conjunto de estados al que se llega hay alguno final, mientras que en el AFD cada estado se marca como final si en el conjunto que representa había alguno final. Por lo tanto, el AFND acepta una cadena sii el AFD la acepta, con lo que representan el mismo lenguaje.

=== AFND-L en AFND ===

Antes de la demostración, es necesario notar que en el caso de los AFND-L la función de transición extendida para un caracter no es equivalente a la función de transición común (pues la primera efectúa la clausura lambda sobre el conjunto de llegada), con lo cual ya no pueden usarse indistintamente.

La demostración nuevamente es constructiva, a partir de un AFND-L se crea un AFND que admite el mismo lenguaje. Para esto se toma el mismo conjunto de estados, alfabeto y los mismo estados finales aunque se les agrega el inicial sii tiene algún final en su clausura lambda. La función de transición en el AFND se define como la función de transición extendida (para un caracter) del AFND-L, es decir, se le agrega la clausura lambda a cada paso. 

Intuitivamente, el AFND generado es igual al AFND-L, pero se quitan las transiciones lambda al agregar transiciones a toda la clausura de la transición original. Por ejemplo, si se tenia <math>A \rightarrow aB</math> y <math>B \rightarrow \lambda C</math>, se reemplaza por <math>A \rightarrow aB</math> y <math>A \rightarrow aC</math>. El único detalle es que para el estado inicial se pierden las transiciones lambda, por eso hay que agregarlo (a veces) a los finales.

El lema intermedio a demostrar en este caso es análogo al anterior: <math>\delta'(q_0, x) = \delta\hat (q_0, x)</math> para <math>|x| \ge 1</math>. Se busca probar por inducción que vale la equivalencia (definida entre las funciones de transición de los autómatas) en la función de transición extendida a partir del estado inicial. Nuevamente se demuestra a partir de separar el primer caracter del resto de la cadena, aplicar la definición original y luego hipótesis inductiva.

Sabiendo que partiendo de los estados iniciales y consumiendo las mismas cadenas en ambos autómatas se llegan a los mismos estados, resta probar que los lenguajes son iguales. Recordar que la condición de aceptación del AFND y del AFND-L es que la función de transición extendida aplicada a la cadena desde el estado inicial devuelva un conjunto que contenga algún estado final; la diferencia entre AFND y AFND-L es que la función de este ultimo incluye la clausura lambda a cada paso. 

Si la cadena a aceptar es vacía, entonces en el AFNDL la condición de aceptación es que la clausura lambda del estado inicial contenga un final. Como los finales en el AFND equivalente se definieron incluyendo al estado inicial si esto sucedía, entonces lambda es aceptada en uno sii lo es en el otro.

Si la cadena a aceptar es no vacía, entonces ambas funciones de transición llevan al mismo conjunto de estados (por el lema intermedio). Como los estados finales son equivalentes o difieren en <math>q_0</math>, entonces la cadena es aceptada en un autómata sii (hay que separar el análisis según si se agregó a los estados finales <math>q_0</math> o no). 

Por lo tanto, el AFND así construido reconoce el mismo lenguaje que el AFNDL original.

=== Expresiones Regulares en AFND-L ===

Dada cualquier expresion regular, se puede construir un AFND-L con un unico estado final y sin transiciones a partir de este, haciendo induccion sobre la estructura de la expresion regular.

[[Image:REtoAFNDL.png]]

=== AFD en Expresiones Regulares ===

La demostración de la existencia de una expresión regular que captura el mismo lenguaje que un AFD es constructiva. Se basa en la definición de un sublenguaje (o conjunto de cadenas) <math>R^k_{i,j}</math>, previo numerar los estados del autómata de ''1'' a ''n''. 

La expresión <math>R^k_{i,j}</math> representa a todas las cadenas que se obtienen en el automata yendo desde el estado ''i'' al estado ''j'' pasando por estados de índice a lo sumo ''k''. Notar que ''i'' y ''j'' pueden ser mayores a ''k'', pero solamente si aparecen como principio y final del camino. Análogamente, se define <math>r^k_{i,j}</math> como la expresión regular cuyo lenguaje es dicho conjunto de cadenas. 

La construcción de los ''R'' se hace mediante inducción sobre ''k''´y lo que debemos demostrar constructivamente por inducción es que podemos dar una expresión regular cuyo lenguaje es ''R''. El caso base es cuando se tiene <math>R^0_{i,j}</math>, esto es, todos los caminos que van de ''i'' a ''j'' sin pasar por ningún estado intermedio (pues están numerados a partir de 1). Esto es el conjunto de terminales que se encuentran en todos los arcos que van de ''i'' a ''j'', más lambda si ''i'' y ''j'' son el mismo estado (el conjunto también puede ser vacío). La expresión regular que lo denota es simplemente la disyunción de todos los terminales así obtenidos, con o sin <math>\lambda</math> según corresponda, la expresión regular <math>\emptyset</math>.

Para el paso inductivo, <math>R^k_{i,j}</math> con <math>k \geq 1</math>, para cada camino se pueden dar dos posibilidades. Una es que el camino no pase por ningun estado de índice ''k'', con lo que <math>r^k_{i,j} = r^{k-1}_{i,j}</math>. 

El caso más elaborado es cuando pasa al menos una vez por el nodo ''k''. Cada camino puede partirse entonces en tres partes: desde ''i'' a la primera aparición de ''k'', desde la primera aparición de ''k'' hasta la ultima (que a su vez se puede dividir como cero o más caminos que empezaron y terminaron en k), y desde la última aparición de ''k'' hasta ''j''.

[[Image:AfdToRegex.PNG|Caminos de i a j pasando una o mas veces por k]]

Esto puede escribirse como <math>R^{k-1}_{i,k} (R^{k-1}_{k,k})^* R^{k-1}_{k,j}</math>. Sumado al caso en que no se pasa por el nodo ''k'', y reemplazando cada conjunto de cadena por la ER que la representa, se tiene que la expresión regular final que denota las cadenas de <math>R_{i,j}^k</math> es <math>r^{k-1}_{i,j} | r^{k-1}_{i,k} (r^{k-1}_{k,k})^* r^{k-1}_{k,j}</math> (se aplicó la hipótesis inductiva en cada <math>R^{k-1}</math>).

En castellano, esto significa que para ir del nodo ''i'' al ''j'' pasando por nodos de a lo sumo índice ''k'', se puede o bien ir directamente de ''i'' a ''j'' pasando por nodos de a lo sumo ''k-1'', o bien ir hasta ''k'', hacer cero o varios loops, y luego hacer el ultimo tramo de ''k'' a ''j''.

Por lo tanto, se pueden generar expresiones regulares para todos los conjuntos de cadenas <math>R^n_{i,j}</math>, esto es, todas las cadenas que resultan de recorrer los caminos de ''i'' a ''j'', sin restricción sobre los nodos intermedios.

Notar que el autómata acepta una cadena si existe un camino que la genera que comience en el estado inicial y termine en un estado final. Por lo tanto, las cadenas aceptadas serán aquellas de la forma <math>R^n_{i,j}</math>, con ''i'' estado inicial y ''j'' algún estado final.

Entonces, la expresión regular que genera el mismo lenguaje que el autómata es  <math>r^n_{1,f_1} | r^n_{1,f_2} | \ldots | r^n_{1,f_m}</math>, siendo <math>f_1 \ldots f_m</math> los estados finales del autómata, y 1 el estado inicial.

=== Gramaticas Regulares en AFND ===

Dada una gramática regular <math>G = \langle V_n, V_T, P, S\rangle</math> existe un <math>AFND</math>  <math>M = \langle Q, \Sigma, \delta, q_0, F \rangle</math> 

Se puede definir <math>M</math> como:

# <math>Q = V_N \cup \{q_f\}</math>
# <math>\Sigma = V_T</math>
# <math>q_0 = q_s</math>
# <math>q_B \in \delta(q_A, a) \leftrightarrow A \rightarrow aB \in P</math>
# <math>q_f \in \delta(q_A, a) \leftrightarrow A \rightarrow a \in P</math>
# <math>q_A \in F \leftrightarrow A \rightarrow \lambda \in P</math>
# <math>q_f \in F</math>

La idea es que <math>M</math> va a ser un AFND donde cada no terminal sea un estado, los terminales son las etiquetas de las transiciones entre estados  y <math>q_A</math> se conecta con <math>q_B</math> por <math>a</math> si en <math>G</math> está la producción <math>A \rightarrow aB</math>. El estado inicial va a ser el del no terminal distinguido (<math>q_S</math>) y se agrega otro estado final (<math>q_f</math>)  para conectar con <math>q_A</math> si está <math>A \rightarrow a</math>.

'''Idea de la demostración''':

Se demuestra primero el lema <math>A \Rightarrow^* wB \Leftrightarrow q_B \in \delta(q_A,w)</math> por inducción en <math>w</math>:
* El caso base <math>w = \lambda</math> es aútomático, porque si <math>w</math> es vacia, <math>B</math> tiene que ser <math>A</math> (por las producciones que puede tener la gramática) y por definición de <math>\delta</math> también se cumple lo otro.
* Luego se prueba para <math>w = \alpha a</math>. Se ve que si <math>A \Rightarrow^* \alpha C</math> y <math>C \rightarrow aB</math>, de <math>q_A</math> se puede llegar a <math>q_C</math> por <math>\alpha</math> por hip. inductiva, y que de <math>q_C</math> se puede llegar a <math>q_B</math> por <math>a</math> por la regla 4 de la definición de <math>M</math>. Entonces de <math>q_A</math> se puede llegar a <math>q_B</math> por <math>\alpha a</math>. Para probarlo para el otro lado, se ve que si se puede llegar a <math>q_B</math> por <math>\alpha a</math>, entonces se puede llegar a un estado <math>q_C</math> por <math>\alpha</math> que llega a <math>q_B</math> por <math>a</math>. Como sólo agregamos una transición a un estado <math>q_B</math> si existe <math>C \rightarrow aB</math>, esta producción existe en G. Por hipótesis inductiva, <math>A \Rightarrow^* \alpha C</math>. Por lo tanto, <math>A \Rightarrow^* \alpha C \Rightarrow \alpha aB</math>, o sea, <math>A \Rightarrow^* \alpha aB</math>.

Después se debe probar que el lenguaje generado por <math>G</math> y <math>M</math> es el mismo:
* Se parte de:  <math>wa \in L(G) \Leftrightarrow S \Rightarrow^* wa</math> .
** Hay dos formas en que de <math>S</math> se puede llegar a la forma sentencial de sólo terminales <math>wa</math>:
**#   Se llega al <math>a</math> final usando como último paso <math>A \rightarrow a</math>. Entonces, (por el '''lema''' aplicado a <math>w</math>), de <math>q_S</math> se llegó a <math>q_A</math>,  y '''(por def. 5)'''  <math>q_A</math> se conecta a <math>q_f</math> por <math>a</math>.
**#   La otra opción es que como último paso nos deshacemos de un no terminal <math>B</math> que le seguía al terminal <math>a</math>, y que desapareció usando <math>B \rightarrow \lambda</math>. Entonces, por el '''lema''' (aplicado a <math>waB</math>), de <math>q_S</math> se llega a <math>q_B</math> por <math>wa</math>, y '''(por def. 6)''' <math>q_B</math> es final.
** Llegamos entonces a que de <math>q_S</math> se llega por <math>wa</math> a <math>q_f</math> o a un estado final <math>q_B</math>, lo cual es equivalente a  <math>wa \in L(M)</math>.
* Se ve aparte: <math>\lambda \in L(G) \; \Leftrightarrow \; S \rightarrow \lambda \; \Leftrightarrow  \; q_S \in F \; \Leftrightarrow \; \lambda \in L(M)</math>.

=== AFD en Gramáticas Regulares ===

Dado un AFD  <math>M = <Q, \Sigma, \delta, q_0, F></math> existe un gramática regular <math>G = <V_n, V_T, P, S></math> equivalente. Se demuestra definiendo <math>G</math> así y probando luego que <math>M</math> y <math>G</math> generan el mismo lenguaje.

# <math>V_N = Q</math>
# <math>V_T = \Sigma</math>
# <math>S = A_{q_0}</math>
# <math>A_p \rightarrow aA_q \in P \leftrightarrow q = \delta(p, a) </math>
# <math>A_p \rightarrow a \in P \leftrightarrow \delta(p, a) \in F </math>
# <math>S \rightarrow \lambda \in P \leftrightarrow q_0 \in F</math>

La idea es casi es la inversa que para pasar de gramática regular a AFND.

'''Idea de la demostración''':

Se demuestra primero el lema <math>\delta(p,w) = q \Leftrightarrow A_p \Rightarrow^* wA_q</math> por inducción en <math>w</math>:
* El caso base <math>w = \lambda</math> es verdadero por definición en los dos lados del ssi.
* Se prueba para <math>w = \alpha a</math>  separando el último paso de <math>\delta</math> y aplicando la hip. inductiva a <math>\alpha</math> para llegar a que <math>A_p \Rightarrow^* wA_x</math>  (donde <math>x</math> es el estado anterior para llegar a <math>q</math>) y usando que como de <math>x</math> se llega a <math>q</math>, por la '''regla 4'''  <math>A_x \rightarrow aA_q</math>.

Después se debe probar que el lenguaje generado por <math>G</math> y <math>M</math> es el mismo:
* Analizamos cadenas no vacias partiendo de <math>wa \in L(M) \Leftrightarrow \delta(q_0, wa) \in F</math> . Separamos <math>\delta</math> en el estado <math>p</math> al que se llega consumiendo <math>w</math> y la última transición por <math>a</math> al estado final. Por el '''lema''', al anteúltimo estado <math>p</math> se llega con <math>w</math> ssi  <math>A_{q_0} \Rightarrow^* wA_p</math>, y por la '''def. 5''' <math>A_p \rightarrow a</math>. Esas dos cosas son equivalentes a <math>A_{q_0} \Rightarrow^* wa</math>.
* Por '''def. 6'''  <math>q_0</math> M es final (acepta la cadena vacía) ssi <math>S \rightarrow \lambda</math>.

== Propiedades ==

=== Unión ===

'''El conjunto de lenguajes regulares incluido en''' <math>\Sigma^*</math> '''es cerrado respecto de la unión. Dados''' <math>L_1</math> = <math>L(M_1)</math> y
<math>L_2 = L(M_2)</math>, <math>L_1 \cup L2</math> '''es un lenguaje regular'''.

* Esto es inmediato con expresiones regulares, ya que el lenguaje generado por <math>ER(L_1)+ER(L_2)</math> es regular y el más es por definición la unión de los lenguajes <math>L_1</math> y <math>L_2</math>.

* Si lo queremos probar con autómatas, basta con:  pegar <math>M_1</math> al lado de <math>M_2</math>, agregar un estado inicial <math>q_0</math> que tiene transiciones a los mismos estados (y por los mismos símbolos) que los iniciales de <math>M_1</math> y <math>M_2</math>, marcarlo como final si alguno de los lenguajes acepta la cadena vacía y listo (transiciones y finales queda igual).

=== Complemento ===

'''El complmento de un lenguaje regular es regular'''

* Una forma constructiva de probar esto es tomando el AFD del lenguaje y complementando el conjunto de estados finales (poniendo los finales como no finales y vicevera). Es inmediato que esto genera el complemento. Si <math>\Delta</math> es el alfabeto del autómata y queremos tomar el complemento respecto a un superconjunto <math>\Sigma</math> de <math>\Delta</math>, basta con encontrar el autómata del complemento <math>M'</math> y calcular: <math>L(M') \cup \Sigma^*(\Sigma - \Delta)\Sigma^*</math> (''notar que es una unión de lenguajes regulares''). Recordar que el AFD debe estar completo (tener el estado "trampa").

=== Intersección ===

'''La intersección de un lenguaje regular es regular'''

Es inmediata usando la ley de DeMorgan, ya que <math>L_1 \cap L_2 = \overline{\overline{L_1} \cup \overline{L_2}}</math>.

También se puede realizar de forma constructiva a partir de los autómatas. Se arma un gran autómata que tiene como estados el producto cartesiano de los estados de los otros dos de forma tal que un estado <math>(a, b)</math> es final si <math>a</math> y <math>b</math> son finales en sus respectivos autómatas.

=== Unión e Intersección finita ===

'''La unión finita y la intersección finita de lenguajes regulares dan por resultado un leguaje regular'''. Es trivial de probar con una inducción. 

'''Esto NO VALE para INFINITO'''. (pensar en la unión infinita de <math>a^k b^k</math>)

=== Pertenencia ===

'''Saber si una cadena pertenece a un lenguaje regular es decidible''' (Dado el lenguaje regular, se construye su AFD y se pone a prueba la cadena).

=== Finitud ===

'''Todo lenguaje finito es regular'''. Ya que se puede ver como la unión finita de los elementos uno a uno.

'''Determinar si un lenguaje regular es finito es decidible'''

Un lenguaje regular es finito si en su AFD ningún estado desde el cual se pueda alcanzar un estado final puede dar lugar a un "ciclo". 

Alternativamente, un lenguaje regular es infinito sii su AFD acepta al menos una cadena de longitud <math>k</math> tal que <math>2n > k \geq n</math>, donde <math>n</math> es la cantidad de estados del AFD.

=== Vacuidad ===

'''Determinar si un lenguaje regular es vacío es decidible'''. Se construye el AFD y se mira si alguno de los estados alcanzables es final.

=== Equivalencia ===

'''Determinar si dos lenguajes regulares son equivalentes es decidible.''' Se construyen sus respectivos autómatas. Luego se construye el autómata de <math>(L_1 \cap \overline{L_2}) \cup (\overline{L_1} \cap L_2)</math>. Si es vacío, son equivalentes, sino no lo son.

== Lema de Pumping ==

=== Transición para Config Instantánea ===

La función de transición entre dos configuraciones instantáneas se define como <math>(q, a \alpha ) \vdash (p, \alpha)</math> sii existe una transición de ''q'' a ''p'' por ''a''. Asimismo se define la función de transición generalizada.

Vale que si <math>(q, \alpha \beta ) \vdash ^*(q, \beta)</math>, entonces <math>(q, \alpha ^i \beta ) \vdash ^*(q, \beta)</math> para cualquier <math>i \geq 0</math>. Es decir, si es posible hacer un loop sobre el estado ''q'' consumiendo la cadena alfa, entonces es posible realizar ese loop tantas veces como se desee. Se demuestra fácilmente por inducción en la cantidad de repeticiones de alfa.

=== Pumping ===

El lema de pumping expresa que dada una longitud mínima '''n''' (que depende del lenguaje), todas las cadenas ''z'' de longitud mayor o igual a ''n'' pueden escribirse como ''z = uvw'', donde ''uv'' no supera a ''n'', ''v'' es no vacía y es posible repetir tantas veces ''v'' como se desee sin que la cadena deje de pertenecer al lenguaje. Es decir, <math>uv^*w</math> pertenece al lenguaje.

Intuitivamente, significa que existe una longitud '''n''' (para la cual puede tomarse la cantidad de estados del AFD mínimo que captura el lenguaje) tal que toda cadena mayor o igual resulta de haber realizado al menos un ciclo sobre uno de los estados del autómata. Esto es, si se tiene ''w = xyz'', se obtiene un recorrido de la siguiente forma.

[[Image:PumpingRegular.PNG|Lema de pumping]]

Notar que la cadena ''y'' debe ser no vacía para que el ciclo efectivamente exista, ''xy'' es menor que la cantidad de estados del autómata, y la cadena total debe superar la cantidad de estados (o podría ser capturada por el autómata sin efectuar ningún ciclo). Expresado en transiciones de configuraciones instantáneas:

<math>(q_0, xyz) \vdash ^* (q_{i_j}, yz) \vdash ^* (q_{i_k}, z) \vdash ^* (q_{m}, \lambda )</math>

Como <math>q_{i_j} = q_{i_k}</math> y por la propiedad ya demostrada, es posible repetir ''y'' tantas veces como se desee y volver siempre al mismo estado, que tras consumir la cadena ''z'' se sabe que lleva a un estado final con lo que la cadena resulta aceptada.

El lema de pumping es una manera útil de determinar si un lenguaje es regular o no. Si no verifica este lema, entonces se sabe que no es regular. Notar que la implicación no vale a la inversa, esto es, un lenguaje no regular puede cumplir pumping de regulares. En estos casos generalmente se recurre a demostrar que el complemento, inverso, unión o alguna combinación a partir de dicho lenguaje no lo verifica.

== Minimizacion ==

Minimizacion se aplica solamente a AFD, no existe equivalente sobre AFND. Tambien es necesario que el AFD no tenga estados inalcanzables (debe haber un camino orientado desde el estado inicial hacia cualquier otro).

Se basa en el concepto de estados indistinguibles. Dos estados son indistinguibles sii para cualquier cadena, partiendo de esos estados se llega siempre o a finales o a no finales. Vale que los estados a los que se llegan son tambien indistinguibles. Indistinguibilidad es una relacion de equivalencia.

=== Indistinguibilidad de orden K ===

Es analogo a indistinguibilidad pero sujeto a cadenas de longitud a lo sumo K. Es el que se usa en la practica.

==== Relacion de equivalencia ====

Al igual que indistinguibilidad, es una relacion de equivalencia (reflexiva, simetrica y transitiva). La demostracion es trivial.

==== K+1 implica K ====

La relacion de orden K+1 esta contenida no estrictamente en la de orden K. Si dos estados son indistinguibles respecto de cadenas de longitud a lo sumo K+1, entonces, en particular, lo son para cadenas de longitud a lo sumo K.

==== Cociente por orden 0 ====

El conjunto de estados de un automata, cocientado por la relacion de indistinguibildad de orden 0, lo separa en dos clases de equivalencia: los finales y los no finales.

==== K+1 sii K por todo terminal ====

Dos estados ''p'' y ''r'' son indistinguibles de orden K+1 sii para todo terminal ''a'' vale que los estados que se alcanzan a partir de consumir ''a'' por ''p'' y ''r'' son indistinguibles de orden K. Esto permite dar una definicion inductiva de indistinguibilidad.

La ida se prueba por absurdo. Si existe un terminal ''a'' tal que al consumirlo se llega a dos estados ''p' ''y ''r' ''distinguibles por alguna cadena ''alfa'' de longitud a lo sumo K, entonces la cadena ''a + alfa'' distingue K+1 a ''p'' y ''r'', lo que contradice la hipotesis.

La vuelta tambien se puede probar por absurdo. Si ''p'' y ''r'' son distinguibles por ''alfa'' de longitud K+1, entonces ''p' ''y ''r' '', alcanzados tras consumir el primer caracter de alfa, son distinguibles por el resto de alfa, que tiene longitud a lo sumo K, lo que contradice la hipotesis.

==== K+1 = K implica K+n = K ====

Si para cualquier par de estados ''q'' y ''p'' vale que la relacion de indistinguibilidad de orden K+1 es igual a la de orden K, entonces cualquier indistinguibilidad de orden superior seguira siendo igual. Esto da un criterio de corte para la definicion inductiva de indistinguibilidad de orden K, y permite generalizar de orden K a indistinguibilidad en general.

Puede demostrarse por induccion en ''n''. El caso base es trivial. Para el paso inductivo, simplemente se usa que si dos estados son indistinguibles orden ''k+n+1'', entonces los estados a los que se llega por cualquier terminal lo son orden ''k+n'', y luego se aplica la hipotesis inductiva.

Intuitivamente, esto sucede pues indistinguibilidad de orden K permite distinguir a todos los estados que estan a "distancia" K de algun estado final. Al pasar a K+1, se agregan todos los estados que están a un paso más. Si no hay cambios, es porque ya se cubrieron todos los estados del automata, y no es necesario tener cadenas mas largas para distinguirlos.

=== Automata Minimo ===

Un automata minimo se logra tomando como estados las clases de equivalencia generadas por la relacion de indistinguibilidad en el automata original. Las transiciones en el nuevo automata se definen como <math>\delta \prime ([q], a) = [ \delta (q,a)]</math>, es decir, el estado alcanzable en el AFDM a partir de la clase ''[q]'' por el terminal ''a'', es la clase que se alcanza por ''a'' a partir de todos los estados que conforman ''q'' en el AFD original.

==== Transiciones entre clases indistinguibles ====

Dada la definicion de funcion de transicion anterior, vale la equivalencia tambien para la funcion de transicion extendida. Esto es, si en el AFD original se llegaba al estado ''r'' desde ''q'' por la cadena ''alfa'', entonces en el minimo se llega a la clase de equivalencia de ''r'' desde ''q'' via ''alfa''.

<math>\hat \delta (q,a) = r \Longrightarrow \hat \delta \prime ([q],a) = [r]</math>

Se demuestra por induccion en la longitud de la cadena. El caso base (longitud cero) es trivial. Para el paso inductivo, se parte la cadena en ''a + alfa'', y se aplica la definicion de la funcion no extendida (sobre ''a'') junto con la hipotesis inductiva (sobre ''alfa''), mas propiedades de la funcion de transicion extendida.

==== Cantidad de estados ====

Dados dos AFDs M y M', si para todo par de cadenas que conducen a estados diferentes en M desde q0 tambien conducen a estados diferentes en M' desde q0', entonces M' debe tener tantos o más estados que M.

Para demostrarlo, se puede obtener una funcion inyectiva de Q en Q', esto es, alguna funcion que para todo estado de Q vaya a un estado de Q' y no repita imagenes. Esto garantiza que <math>|Q| \leq |Q'|</math>.

Dicha funcion ''f(q)'' se puede definir como el estado que se alcanza en M' a desde ''q0' ''consumiendo la cadena ''g(q)''. La funcion ''g'' puede definirse como la menor cadena en M tal que al consumirla desde ''q0'' se llegue al estado ''q''; o sea, qué camino hay que seguir en M para llegar a ''q''.

Como todas las cadenas generadas por ''g'' llevan a estados diferentes, entonces al consumirlas en M' tambien se llegan a estados diferentes (por hipotesis). Por lo tanto, se tiene la funcion inyectiva buscada.

==== Minimo ====

Se desea probar que el automata minimo construido a partir de las clases de equivalencia de la funcion de indistinguibilidad es efectivamente minimo. Esto es, que no existe ningun automata M' que reconozca el mismo lenguaje que MR (siendo MR el automata reducido) y que tenga menos estados.

Por la demostracion anterior, esto implica que deberia existir un par de cadenas ''alfa'' y ''beta'' tales que lleven a estados distintos ''p'' y ''r'' en MR y a estados iguales en M'.

Al ser ''p'' y ''r'' estados distintos en MR, significa que son distinguibles, esto es, que hay una cadena que lleva a uno a un estado final y a otro a uno no final. Esto significa que al concatenar esta cadena a las dos ''alfa'' y ''beta'' que habian dado origen a ''p'' y ''r'', se obtienen dos cadenas, las cuales una pertenece al lenguaje y la otra no.

Ahora bien, como ''p'' y ''r'' coinciden en M', cualquier cadena los lleva al mismo estado, sea final o no. Entonces, al realizar la misma concatenacion que antes, se llega a ambas cadenas pertenecen o no. Por lo tanto, M' no reconoce el mismo lenguaje que MR, absurdo que proviene de suponer que MR no era minimo en cantidad de estados.