TRABAJO COLABORATIVO 1

APORTE 2

AUTOMATAS Y LENGUAJES FORMALES

OMAR MONTAÑO TORRES

GRUPO 301405_20

TUTOR:

VICTOR FERNANDO CANON RODRIGUEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

18 DE MARZO DEL 2016

CALI

SIMPLIFIQUE LA EXPRESIÓN REGULAR Y RESUELVA:

1. Describa la forma matemática del autómata.

2. Plasme la tabla de transición. Identifique que tipo de autómata es (AFD o AFND) y justifique su respuesta. (No se trata de dar el concepto de determinismo sino de justificarlo asociando la respuesta al diseño del autómata)

a b c

q0 q1 x x

q1 q4 q0 x

>q2 q3 q3 q1

q3 x q4 x

*q4 q3 x x

3. Identifique los elementos (tupla que es) (Asociadas con los elementos del autómata del ejercicio propuesto). Debe explicar y describir cada elemento y la función y significado en el autómata. Conceptos y definiciones adicionales.

Este autómata es una quíntupla compuesta por los siguientes elementos:

Donde:

4. Identifique el lenguaje que genera.

5. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique cada secuencia. (No se trata solo de captura las imágenes, estas deben ser explicadas en pié de página o de lo contrario no tienen validez)

Procede a leer el carácter c pasando hacia el estado q1.

Primero la cadena es recibida por el autómata.

Procede a leer el carácter c pasando hacia el estado q1.

Continua leyendo el carácter 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 carácter a.

Por ultimo vuelve nuevamente al estado q4 leyendo el carácter 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 transición. Se pueden colocar múltiples caracteres que se leen para una sola

transición. Este simulador permite muchas funciones, como la minimización, la

conversión a una gramática, la conversión a una ER, convertir a un DFA, combinar DFA.

Similitudes y diferencias en VAS

Se puede hacer una tabla de transición. Cada estado a crear debe ser nombrado. Tiene la opción de dar instrucciones por consola. Se puede centrar el autómata a la mitad del lienzo.

7. Genere tres cadenas válidas y dos no válidas.

Si el autómata inicial (el de la ER4) es un AFD, genere un AFND que reconozca el mismo lenguaje; o por lo contrario si el autómata 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 continuación:

1. Describa la forma matemática del autómata

2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autómata del ejercicio propuesto).

Este autómata es una quíntupla compuesta por los siguientes elementos:

Donde:

3. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique cada secuencia. (No se trata solo de captura las imágenes, estas deben ser explicadas en pié de página 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 diseño y compárela con la expresión regular simplificada (es decir analícelas con dos cadenas válidas y con dos no válidas). Para ello debe identificar en una tabla la jerarquía de operadores regulares, identificando con colores las sentencias matemáticas. Para ello apóyese 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 Inválidas:

Bac: