Вы находитесь на странице: 1из 3

UNIVERSIDAD ABIERTA Y A DISTANCIA

AUTMATAS Y LENGUAJES FORMALES


Problemas a desarrollar:
1. Las expresiones regulares (ER), pueden tambin escribirse de otras formas o
con otra secuencia de operadores o distribucin de smbolos. En general es una
forma matemtica que representa el Lenguaje que genera un Autmata. Y esas
expresiones regulares siempre sern vlidas siempre y cuando representen
exactamente el mismo lenguaje para un Autmata. Concluyendo, para un
Autmata, puede haber ms de una ER que representa el mismo lenguaje ya sea
que esa ER sea minimizada, extensa, equivalente o como se prefiera escribir. Solo
que en los diseos ptimos computacionales siempre se buscar la mejor ER
(corta o mnima) para efectos de la mejor simulacin o para llevarlas a lenguajes
de programacin en la creacin de soluciones computacionales (solucionar
problemas - Algoritmos)
Dados los siguientes tems, Autmatas Finitos Deterministas, Autmatas Finitos no
Deterministas, lenguajes y expresiones regulares (ER), encuentre segn
corresponda:

AFN / AFD
EJ
1

EJ
2

LENGUAJE

EXPRESIN
REGULAR

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTMATAS Y LENGUAJES FORMALES
EJ
3

2. PARA LA EXPRESION REGULAR : ca*+bb*ab(a+b+cc*b)*


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)
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.
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)
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 ofrezcan uno u otro).
7. Genere tres cadenas vlidas y dos no vlidas

UNIVERSIDAD ABIERTA Y A DISTANCIA


AUTMATAS Y LENGUAJES FORMALES
3. Teniendo en cuenta el siguiente autmata identifique si es AFD o AFND, Si 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.

1. Describa la forma matemtica del autmata


2. Identifique los elementos (tupla que es) (Asociadas con los elementos del
autmata del ejercicio propuesto).
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)
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.

Вам также может понравиться