AUTOMATAS Y LENGUAJES FORMALESTRABAJO COLABPRATIVO 2

MAROLY LISETH CIENDUA BOHORQUEZCODIGO: 1057584310

PRESENTADO A: JAIME JOSE VALDES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNADSOGAMOSO2014

;1. Enuncie el autmata en notacin matemtica e identifique que tipo de autmata es. Donde , Es el estado inicial, donde la funcin de transicin esta dad por Descripcin de la funcin

Es un autmata finito determinista por que Si M = (K, , , s, F) es un autmata de estado finito, entonces una configuracin es un elemento del producto cartesiano K x *Entindase por configuracin un par (q, ) donde q es un estado y una palabra. En este orden q ser el estado en el que se encuentra el autmata y lo que queda por leer en un momento dado.2. Identifique los componentes del autmata (que tipo de tupla es)

Autmata Finito Determinista por lo cual su tupla es:Una maquina de estados finitos M es un quntuplo Qes un conjunto deestados; es unalfabeto; : Q x Qes unafuncin de transicin para un AFD; s Qes el estado inicial; F C Qes un conjunto de estados finales o de aceptacin.3. Identifique la tabla de transicin correspondiente01

q0q2q1

q1q4q5

q2q3q4

# q3q2q7

q4q7q6

# q5q6q1

q6q3q4

q7q4q5

4. Identifique el lenguaje que reconoce (no en notacin de ER) y enuncie cinco posibles cadenas vlidas que terminen en el estado halt y cinco cadenas no vlidas

Posibles cadenas validas01010110010100011110101110Posibles cadenas no validas010111010001000100110110111110115. Encuentre la expresin regular vlida. (se genera de forma manual, asociando cada operador y sentencia al diagrama de moore de forma explicativa). No se genera con el JFLAP

(0(10)*1 + (0(11)*0 + (01(01)00 + 01(11)10 + 10(11)10) + (1(11)*1 + 1(00)*1)*(00+11))

6. Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus componentes y como se escriben matemticamente). Justifquela si la convierte a la Izquierda o a la derecha. Plsmela en el simulador y recrela. (Debe quedar documentado en el texto el paso a paso que realizan en el simulador)

GRAMATICA ENCONTRADA

7. Realice el rbol de Derivacin de esa gramtica.