AUTOMATAS

CONJ DE ESTADOS Q = {q0, q2, q3, q4, q5, q6}

ALFABETO Σ = {0; 1}

EL ESTADO FINAL Funcion : A = {qo}

EL ESTADO INICIAL q0

δ:=(q0,0) = q1 δ:=(q0,1) = q2

δ:=(q1,0) = q0 δ:=(q1,1) = q3

δ:=(q2,0) = q3 δ:=(q2,1) = q0

δ:=(q3,0) = q4 δ:=(q3,1) = q5

δ:=(q4,0) = q0 δ:=(q4,1) = q0

δ:=(q5,0) = q6 δ:=(q5,1) = q0

δ:=(q6,0) = q5 δ:=(q6,1) = q4

Un autónoma Determinística: para cada estado en que se encuentre el autómata.

3. Id entifique la tabla de transición correspondiente

RTA:

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

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

6.

7. Encuentre su gramática que sea válida para la función de transición (describa sus componentes y como se escriben matemáticamente). Justifíquela si la convierte a la Izquierda o a la derecha. Plásmela en el simulador y recréela. (Debe quedar documentado en el texto el paso a paso que realizan en el simulador)

8. Realice el árbol de Derivación de esa gramática.

RTA:

S: 1A

A: 11E

E: 1100C

C: 11000B

B: 110001D

D: 1100010G

G: 11000101E

E: 11000101

...