AUTOMATAS Y LENGUAJES FORMALES

PRESENTADO POR:

EDER SNEIDER ASTUDILLO VIEDAC.C. 1117.522.430

PRESENTADO A:JAIME JOS VALDEZTUTOR

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

DESARROLLO DE LA ACTIVIDADMOMENTO 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.