TRABAJO COLABORATIVO #1

AUTOMATAS Y LENGUAJES FORMALES

PRESENTADO POR:

ALVEIRO CASTRO

CODIGO: 14.323.113

WILSON MAURICIO HERNANDEZ

CODIGO: 16070038
 TUTOR:

CARLOS ALBERTO AMAYA TARAZONA

301405_10

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA INGENIERIA DE SISTEMAS

CEAD LA DORADA

ABRIL DEL 2014

 1. Tabla de transicin entregada.

Exprese el autmata en notacin matemtica. Identifique que tipo de autmata es (AFD o

AFND) y justifique su respuesta. (No se trata de dar el concepto de determinismo)

zyx
zyx
zx y
=(xx y)|| yyx|}
{ x , y , z }
LM=

Se trata de un AFD debido a que despus de cada vez que se cambi un estado siempre se
conoce de manera determinstica el siguiente estado y no hay ambigedades ya que por
cada caracteres de salida va a un solo estado, en otras palabras, la cantidad de entradas
siempre es mayores a la cantidad de salidas.
2. Identifique los elementos (tupla que es). Debe explicar y describir cada elemento y la
funcin y significado en el autmata. Conceptos y definiciones adicionales.

M=(K ,,Q 0, ,F)

K= {Q 0 ,Q1 ,Q2 ,Q3 } Estados del autmata

x, y, z Lenguaje aceptado

Q0 Es el estado inicial

F=Q3 Es el estado final

3. Identifique el lenguaje que genera

w { x, y ,z }

L=

4. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique

cada secuencia.
Simulador de secuencia zy
Inicia en q0, pasa a q1 y finaliza en q3.
5. Muestre el diagrama de Moore generado en JFLAp y en VAS y comente que
similitudes o diferencias encuentra al realizarlo en los dos simuladores. (Herramientas
que ofrezcan uno u otro).

- Diagrama Moore generado en JFLAP.

- Diagrama Moore generado en VAS.

 - Similitudes: en ambas podemos ver la autmata, sus conexiones y elementos, nos
permiten conocer su estructura, ambas son grficas y fciles de manejar.
- Diferencias: El VAS nos permite ver la notacin matemtica de la autmata, mientras
JFLAP no lo deja ver.
- JFLAP permite borrar los errores ms fciles con la x.

PARTE 2: Para cada una de las Expresiones Regulares siguientes (ER) realice:

6. Identifique el lenguaje que representa: (tenga en cuenta como se plasma o identifica

un lenguaje aceptado: mdulo pgina 47 leccin 10)

El lenguaje que representa es:

L = { {a,b}* = abia, i 0 }

Y se interpreta as: El autmata AFD reconoce el lenguaje de todas las cadenas posible
dentro de todo el conjunto de combinaciones posibles {a,b}* de tal manera que esas cadenas
empiecen por una a, seguidas de ninguna, una o ms bs y que finalizan con una a.

7. Genere tres cadenas vlidas y dos no vlidas.

Vlidas: aa, aba, abaaba.

No vlidas: aaaba, aab.

8. Plasme las tres cadenas vlidas para cada ER en una tabla (identificando jerarqua
de operadores regulares, identificando colores). Para ello apyese en el video:
http://youtu.be/JZPAHHA2PnE (minuto 14 al 33).

a b
q0 q1 q2
q1 q2 q1
# q2

9. Identifique en la misma tabla por que las dos cadenas seleccionadas no se aceptan
o en que parte se trunca la jerarqua y orden de los operadores.

a b
q0 q1 Q0
q1 q1 q1
# q2

10. Seleccione una ER (solo una) y exprtela o genere el autmata o el diagrama de

Moore que sea vlido.

EXPRESIONES REGULARES:

- Primera: (a+b)*b(b+a)b(b+a)*.
- Segunda: (0+1)*11(1+0)0(1+10*)*.
- Tercera: 0*1*+(01)*+(11*00*+01).
- Cuarta: Una ER libre (la que desee construir).
- Quinta: la ER de la tabla de transicin del autmata de la Parte 1.

Expresin regular libre.

M = (, K, , q0, F)
= {a,b}
F = {q2}
s = {q0}
K = {q0, q1 , q 2 }

Diagrama de Moore generado en JFLAP.

BIBLIOGRAFIAS

UNAD, Universidad Nacional Abierta y a Distancia. (2014). Campus Virtual.

Autmatas y Lenguajes Formales. [En lnea]. Disponible:

Informticos y Computacin. Mster en formacin de profesorado de Secundaria