Teniendo en cuenta el siguiente autmata, desarrollar paso a paso cada uno de los ejercicios:

Ejercicio 1: Realizar la conversin de AFD a AFND o de AFND a AFD segn corresponda

El autmata dado es AFND por lo tanto realizamos la conversin a AFD

Realizamos un cuadro con tres columnas: en la primera van los estados de cerradura, en la segunda
y tercera van los caracteres del alfabeto para la aplicacin de la funcion mover

Iniciando en el estado cero primero hallamos el estado cerradura, pero como se observa en el
grafico no existe estado siguiente que lleguemos con transicin vacia, entonces sabemos que seria
el mismo estado nicamente y le colocamos el nombre A a dicho estado; ya en la columna 2
aplicamos la funcin mover del estado A con la letra a, es decir con cada uno de los elementos del
subconjunto A, a que estado llegamos con la letra a del alfabeto y este paso se repite en la columna
3 pero con la letra b del alfabeto.

Ahora aplicamos el estado cerradura a cada uno de los subconjunto que obtuvimos en las columnas
2 y 3 y repetimos estos pasos hasta que no se generen mas estados diferentes.

Estado cerradura a B

{0} = {0} = Mover (A,a)={1} Mover (A,b)={2}

{1} = {1} = Mover (B,a)={3,5} Mover (B,b)={4}

{2} = {2} = Mover (C,a)={3} Mover (C,b)={}

} = {3,4,5} =
{3,5 Mover (D,a)={5} Mover (D,b)={5}

{4} = {4} = Mover (E,a)={} Mover (E,b)={5}

{3} = {3,4} = Mover (F,a)={} Mover (F,b)={5}

 {5} = {5} = Mover (G,a)={5} Mover (G,b)={}

Segn observamos en el cuadro anterior el subconjunto {5}, se repite, es asi que como ya lo tenemos
en el estado de cerradura podemos dar por concluido el cuadro.

Ahora realizamos cuadro resumen, teniendo en cuenta no los subconjuntos sino el nombre de cada
uno de ellos para mejor comprensin y sealando el estado de inicio y los finales, para asi disear
el AFD.

Estado a B

B C

B D E

C F A

*D G G

*E G

*F G

*G G

Diseo de AFD
Autmata dado por el ejercicio

Automata convertido de AFND a AFD

Proceso exitoso

Ejercicio 2: Realice la minimizacin paso a paso del autmata finito determinista

Minimizacin del AFD

 Quintupla - 5-tupla(, , , )

Donde:

= {0, 1, 2, 3, 4, 5, 6}, {, }, , 0, {3, 4, 5, 6}

= {0, 1, 2, 3, 4, 5, 6}()

{, }

= 0( )

= 3, 4, 5, 6( )

Transiciones

Donde la funcin : {0, 1, 2, 3, 4, 5, 6}{, } {0, 1, 2, 3, 4, 5, 6, 7} viene dada

por:

(0, ) = 1

(0, ) = 2

(1, ) = 3

(1, ) = 4

(2, ) = 5

(2, ) = 0

(3, ) = 6
 (3, ) = 6

(4, ) = 6

(5, ) = 6

(6, ) = 6

Conjuntos

= {3, 4, 5, 6}

= {0, 1, 2}

Validando informacin del conjunto X

a b
q3 X X
q4 X
q5 X
q6 X

Validando informacin del conjunto Y

a b
q0 Y Y
q1 X X
q2 X Y

Generando Nuevos Conjuntos

= {3, 4, 5, 6}

= {0}

= {1}

= {2}
Validando informacin del conjunto X

a b
q3 X X
q4 X
q5 X
q6 X

Validando informacin del conjunto V

a b
q0 W Z

Validando informacin del conjunto W

a b
q1 X X

Validando informacin del conjunto Z

a b
q2 X V

Creando Nueva Tabla de Transiciones

a b
V W Z
#X X X
W X X
Z X V

Graficando el Autmata
Ejercicio 3: Escriba la expresin regular y el lenguaje regular del autmata minimizado

Expresin regular autmata minimizado (bb)*(a(a+b)+ba)(a+b)*

Ejercicio 4: Teniendo en cuenta la expresin regular del autmata finito determinista realice una
Mquina de Turing reconocedora que lea las mismas cadenas