Ejercicio 2: Realizar la conversión de AFD a AFND o de AFND a AFD según

corresponda.
Es un autómata finito no determinista con transiciones vacías.

Lo primero que debemos identificar en nuestro estado inicial y el alfabeto que se maneja
en el autómata, en la siguiente tabla podemos observar las transiciones, comenzando desde
nuestro estado inicial con la transición vacía.

a b c
A= {0} U {1} B= {21} U {1} C= {0} U {1} D= {4} U {1}
B= {21} U {1} E= {41} U {1} C= {0} U {1} G= {1}
C= {0} U {1} B= {21} U {1} C= {0} U {1} D={4} U {1}
D= {4} U {1} I = {31} U {1} G= {1} C= {0} U {1}
E= {41} U {1} I={31} U {1} G= {1} C= {0} U {1}
G= {1} J= {1} U {1} G= {1} G= {1}
I = {31} U {1} K={51} U {1} E= {41} U {1} G= {1}
J= {1} U {1} J= {1} U {1} G= {1} G= {1}
K={51} U {1} B= {21} U {1} D= {4} U {1} L= {3} U {1}
L= {3} U {1} K={51} U {1} E= {41} U {1} G= {1}
Empezamos tomando a A= {0} U {1} esto quiere decir q0 unión q1 que es donde se
encuentra las transiciones vacías.
En el cuadro de B= {21} U {1} es el resultado del valor del estado de q0 en “a” y el valor
de q1 en “a”. Como es un valor diferente al de “A” entonces lo nombramos como “B”.
En el cuadro de C= {0} U {1} es el resultado del valor del estado de q0 en “b” y el valor
de q1 en “b”. Como es un valor diferente al de “A y B” entonces lo nombramos como
“C”.
En el cuadro de D= {4} U {1} es el resultado del valor del estado de q0 en “c” y el valor
de q1 en “c”. Como es un valor diferente al de “A, B y C” entonces lo nombramos como
“D”.
Luego pasamos el valor de B= {21} U {1} al primer cuadro de la izquierda y empezamos
a buscar sus valores como hicimos con el “A” de esta forma.
En el cuadro de E= {41} U {1} es el resultado del valor del estado de q2 en “a” y el valor
de q1 en “a”. Como es un valor diferente al de “A, B, C y D” entonces lo nombramos
como “E”.
En el cuadro de C= {0} U {1} es el resultado del valor del estado de q2 en “b” y el valor
de q1 en “b”. Como es un valor es similar al de “C” entonces lo seguimos nombrando
como “C”.
De esta manera seguimos llenando el cuadro hasta haber agotado todas las alternativas
del autómata.
Después de esto realizamos otro cuadro con los nuevos estados, el cual nos permitirá
realizar el diagrama de la conversión de AFD y se realizara el diagrama del nuevo
autómata.
 a b c
A B C D
B E C G
C B C D
D I G C
E I G C
G J G G
I K E G
J J G G
K B D L
L K E G