AUTOMATAS Y LENGUAJES FORMALES

ACTIVIDAD MOMENTO UNO

PRESENTADO POR:

SANDRA LILIANA MARTINEZ CASTELLANOS

JHONNATHAN ARLEY GONZALES RUIZ
ANNGIE KATHERINN GUEVARA
PAULA LEON RIVEROS

GRUPO:
301405-18

TUTOR
CARLOS ALBERTO AMAYA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
2014

AUTOMATAS Y LENGUAJES FORMALES

Dada la siguiente tabla

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).
RTA= Este es un AFND Autmata finito no determinstico ya que sus
nodos tiene un inicio en q0, pero si observamos q1, q2, q3, q4 y q5 en
varios de ellos no encontraremos un estado definido.
U= {K=(a, b), S= (q0), F= (q5), Q= (q0, q1, q2, q3, q4, q5)}
2. Identifique los elementos (tupla que es) (Asociadas con los elementos
del autmata del ejercicio propuesto). Debe explicar y describir cada
elemento y la funcin y significado en el autmata. Conceptos y
definiciones adicionales.
= este es el alfabeto finito de etiquetas
= Alfabeto universal
= puede representar una cadena
= esta representa una cadena vaca.
K = Representa el conjunto de estados de autmatas

v=Es la funcin de transicin de un autmata.

F= Suele denotar el conjunto de los estados finales de un autmata.
3. Identifique el lenguaje que genera. ( no se trata de explicarlo o formularlo
en notacin de una ER)
L=(a, b, ab, ba)
La cual se expresa en la a y b inicindose con la q0 y finalizando en q5
4. Muestre en el simulador (grficamente) como recorre una cadena vlida.
Explique cada secuencia. (No se trata solo de captura las imgenes,
estas deben ser explicadas en pi de pgina o de lo contrario no tienen
validez)
R/:

Recorre una cadena aceptada ab, que comienza en q0 y termina en q2 de

manera satisfactoria con q2 que corresponde a la instancia final.

Cadena aceptada en VAS (ab):

Por el contrario aab no avnza a q2 instancia final por lo que es rechazada:

5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente

cinco similitudes y cinco diferencias que encuentra al realizarlo en los dos
simuladores. (Herramientas que ofrezcan uno u otro).

R/:

JFLAP:

VAS:

10. De la tabla de transicin dada y del autmata asociado a esa tabla, genere
la ER (no desde el simulador JFLAP), genrela de forma manual y explique
cada sentencia asociada al autmata o diagrama de moore.
La expresin regular para este autmata se dara en el punto tres y dara como
resultado

ER= L=(a, b, ab, ba)