3.

Teniendo en cuenta el siguiente autmata identifique si es AFD o

AFND, Si es un AFD genere un AFND que reconozca el mismo
lenguaje; o por lo contrario si el autmata inicial es un AFND, genere
un AFD que reconozca el mismo lenguaje

1. Describa la forma matemtica del autmata

Una mquina de estados finitos M es un quntuplo (, , , , ), donde:
= Es el conjunto finito de estados
= Es el alfabeto finito de smbolos de entrada
S Q= Es el inicial en k
F Q=

Es el conjunto de estados finales o de aceptacin y subconjunto de k

= Es la relacin de transiciones, que a partir de un estado y un smbolo del

alfabeto obtiene un nuevo estado
2. Identifique los elementos (tupla que es) Asociadas con los elementos del
autmata del ejercicio propuesto).
Una mquina de estados finitos M es un quntuplo (, , , , ), donde:
= Es el conjunto de estados {0, 1, 2, 3}
= Es el alfabeto de entrada {0,1, }
S Q = Es el estado inicial {0}
= Es el conjunto de estados finales {1}
Donde la funcin : {0, 1, 2, 3} x {0,1, } {0, 1, 2, 3,} viene dada
por:
= (0, 1) = 0
= (0, 1) = 1
= (1, ) = 3
= (1, 1) = 2
= (2, 0) = 0
= (2, ) = 1
= (3, 0) = 2
3. Muestre en el simulador (grficamente) como recorre una cadena vlida.
Explique cada secuencia. (No se trata solo de captura las imgenes, estas deben
ser explicadas en pi de pgina o de lo contrario no tienen validez)
Vamos a probar la cadena valida 101

Parte del estado inicial q0

Realiza el primer paso y luego lee

Luego recibe el 0 pasando de q3 a q2

Luego acepta y se va de q2 a q1

Luego acepta 1 y vuelve de q1 a q2

Y por ltimo recibe

4. Muestre el diagrama de Moore generado en JFLAP y en VAS