1. Enuncie el autómata en notación matemática e identifique que tipo de autómata es.

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

Σ ={.,1}

I ={0,1,2,4,5,6,7}

F={3,5}

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

2. Identifique los componentes del autómata (que tipo de tupla es)

Un autómata finito es una quintupla

M =(Q, A, δ, q0, F) en que:
– Q es un conjunto finito llamado conjunto de estados
– A es un alfabeto llamado alfabeto de entrada
– δ es una aplicación llamada función de transición
δ: Q × A Q
–q0 es un elemento de Q, llamado estado inicial
– F es un subconjunto de Q, llamado conjunto de estados finales.
A=( {q0,q1,q2,q4,q6,q7},{0,1}, δ{q3,q5})

3. Identifique la tabla de transición correspondiente

0 1
#q0 q2 q1
q1 q4 q5
#q2 q3 q4
#q3 q2 q7
#q4 q7 q6
#q5 q6 q1
q6 q3 q4
q7 q4 q5

4. Identifique el lenguaje que reconoce (no en notación de ER) y enuncie cinco posibles
cadenas válidas que terminen en el estado “halt” y cinco cadenas no válidas

estado “halt”
q0,0 q2,0,q3
q0,1,q1,1,q5
q0,0,q2,1,q4,0,q7,1,q5
q0,1,q1,0,q4,1q6,0,q3
q0,q2,1,q4,1q6,0,q3

Cadenas no válidas
q0,0,q2,1,q4,0,q7,0,q4
q0,1,q1,0,q4,1q6
q0,0q2,1,q4,1,q6,1,q4
q0,0,q2,1,q4,1,q6,1,q4
5. Encuentre la expresión regular válida. (se genera de forma manual, asociando cada
operador y sentencia al diagrama de moore de forma explicativa). No se genera con el
JFLAP