TRABAJO COLABORATIVO 1

APORTE 2

AUTOMATAS Y LENGUAJES FORMALES

OMAR MONTAO TORRES

GRUPO 301405_20

TUTOR:
VICTOR FERNANDO CANON RODRIGUEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

18 DE MARZO DEL 2016
CALI

SIMPLIFIQUE LA EXPRESIN REGULAR Y RESUELVA:

1. Describa la forma matemtica del autmata.

2. Plasme la tabla de transicin. Identifique que tipo de autmata es (AFD

o AFND) y justifique su respuesta. (No se trata de dar el concepto de
determinismo sino de justificarlo asociando la respuesta al diseo del
autmata)
a

q0

q1

q1

q4

q0

>q2

q3

q3

q1

q3

q4

*q4

q3

3. 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 autmata es una quntupla compuesta por los siguientes elementos:

Donde:

4. Identifique el lenguaje que genera.

5. 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)

Primero la cadena es recibida por el

autmata.

Procede a leer el carcter c pasando hacia el estado q1.

Procede a leer el carcter c pasando hacia

el estado q1.

Continua leyendo el carcter a, pasando

hacia el estado q4 final, pero como aun no
termina de leer no se acepta nada.

Pasa hacia el estado q3, leyendo el

carcter a.

Por ultimo vuelve nuevamente al estado q4

leyendo el carcter b, y ahora la cadena es
aceptada. Pues 14 es un estado final.

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

tres similitudes y tres diferencias que encuentra al realizarlo en los dos
simuladores. (herramientas que ofrezca uno u otro).

Similitudes y diferencias JFLAP:

A diferencia del VAS no se puede ver la tabla de transicin.
Se pueden colocar mltiples caracteres que se leen para una sola
transicin.
Este simulador permite muchas funciones, como la minimizacin, la
conversin a una gramtica, la conversin a una ER, convertir a un DFA,
combinar DFA.

Similitudes y diferencias en VAS

Se puede hacer una tabla de transicin.

Cada estado a crear debe ser nombrado.
Tiene la opcin de dar instrucciones por consola.
Se puede centrar el autmata a la mitad del lienzo.

7. Genere tres cadenas vlidas y dos no vlidas.

Si el autmata inicial (el de la ER4) es un AFD, genere un AFND que

reconozca el mismo lenguaje; o por lo contrario si el autmata inicial es
un AFND, genere un AFD que reconozca el mismo lenguaje.
Es un AFD y se puede transformar a un AFND como se ve a continuacin:

1. Describa la forma matemtica del autmata

2. Identifique los elementos (tupla que es) (Asociadas con los elementos
del autmata del ejercicio propuesto).
Este autmata es una quntupla compuesta por los siguientes elementos:

Donde:

3. 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)

Como este es un AFND primero pasa por muchas validaciones antes de poder
dar como aceptada la cadena, luego en el estado q16 lee la d y prosigue al
estado q20, por ultimo de este estado pasa a q1 aceptando la cadena.
4. Muestre el diagrama de Moore generado en JFLAP y en VAS

5. Identifique la ER asociada al nuevo diseo y comprela con la

expresin regular simplificada (es decir analcelas con dos cadenas
vlidas y con dos no vlidas). Para ello debe identificar en una tabla la
jerarqua de operadores regulares, identificando con colores las
sentencias matemticas. Para ello apyese en el video:
http://youtu.be/JZPAHHA2PnE (minuto 14 al 33). O en el video
http://youtu.be/wGTxhnPXcw4

Expresion Regular Inicial (AFD):

(bf*a+cg*d)*
Expresion Regular Final (AFND):
(+ba+(b+b)ff*a+dc+(d+d)gg*c)*(+ba+(b+b)ff*a+dc+(d+d)gg*c)

Cadenas Validas
dc:
(bf*a + cd*d)*
dc

bffa:

Cadenas Invlidas:
Bac: