AUTOMATAS Y LENGUAJES FORMALES

PRESENTADO POR:


EDER SNEIDER ASTUDILLO VIEDA
C.C. 1117.522.430





PRESENTADO A:
JAIME JOS VALDEZ
TUTOR




UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA- UNAD
PROGRAMA DE INGENIERIA DE SISTEMAS
FLORENCIA, AGOSTO 29 DE 2014.

DESARROLLO DE LA ACTIVIDAD
MOMENTO 1:























1. Exprese el autmata en notacin matemtica (Tome como referencia, ejemplo 24
pgina 43 del mdulo). Identifique que tipo de autmata es (AFD o AFND) y
justifique su respuesta. (No se trata de dar el concepto de determinismo)
M =(K, , q0, , F)

K = {q0, q1, q2, q3, , q4, q5, } = {a, b} q0 es el estado inicial F=q2 , donde la
funcin de transicin est dada por: : {q0, q1, q2, q3, , q4, q5 } {a, b} {q0, q 1,
q2, q3, q4, q5 } q0 { q2 }
Es un AFND porque frente a un estado actual y un siguiente carcter, es posible tener
cero, uno o ms estados siguientes.