TRABAJO COLABORATIVO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS, TECNOLOGA E INGENIERIA

AUTOMATAS Y LENGUAJES FORMALES

2015
1).Las expresiones regular es (ER), pueden también escribirse de otras formas o con otra
secuencia de operadores o distribución de símbolos. En general es una forma matemática
que representa el Lenguaje que genera un Autómata. Y esas expresiones regulares
siempre serán válidas siempre y cuando representen exactamente el mismo lenguaje para
un Autómata. Concluyendo, para un Autómata, puede haber más 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 diseños óptimos computacionales siempre se
buscará la mejor ER (corta o mínima) para efectos de la mejor simulación o para llevarlas
a lenguajes de programación en la creación de soluciones computacionales (solucionar
problemas -Algoritmos) Dada las siguientes expresiones regulares (ER), encuentre la
expresión mínima simplificada correspondiente y una posible expresión equivalente
escrita de otra forma. (para ello, siempre tenga en cuenta la jerarquía de caracteres y el
tema de ER descrito en el módulo).

ER ER simplificada

ER1 (0(1)*)+1 01111

ER2 Ƴ+1+( Ƴ+1)( Ƴ+1)*( Ƴ+1) Ƴ111

ER3 0+( Ƴ+1)( Ƴ+1)*0 0110

ER4 1*0+1*0(Ƴ+0+1)*( Ƴ+0+1) 1110+011

ER5 ((0+1)1) 1

2). Para la expresión regular: 1*0+1*0 (Ƴ+0+1)*( Ƴ+0+1), resuelva:

1. Describa la fórmula matemática autómata

A=[(Q0, Q1, Q2, Q3, Q4,), (0,1), Ƴ, Q0,( Q2, Q4)]

2. Plasme la tabla de transición, identifique que tipo de autómata es (AFD o AFND y

justifique su respuesta.
Es autómata finito AFD: debido a que están determinando la ruta por donde puedo pasar,
recrear o correr las cadenas que puede aceptar el autómata.

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

∑ ¿ ( 0,1 ) es el alfabeto que contiene estos dos simbolos

K= (Q0, Q1, Q2, Q3, Q4,), son los estados que contiene la presente autómata

S= Q0

F= Q2, Q4

Ƴ =∑ xk=k , La función de transición indica a que estado se va a pasar, sabiendo cual

es el estado actual y el símbolo que esta leyendo.

Donde la función Ƴ: (Q0, Q1, Q2, Q3, Q4,) x (0,1) = (Q0, Q1, Q2, Q3, Q4,), = viene dada por:

Ƴ(Q0,0)=Q0,Q3

Ƴ(Q1,0)=ø

Ƴ(Q2,0)=Q2

Ƴ(Q3,0)=Q4

Ƴ(Q4,0)=Q4
Ƴ(Q0,1)=Q0,Q1

Ƴ(Q1,1)=Q2

Ƴ(Q2,1)=Q2

Ƴ(Q3,1)= ø

Ƴ(Q4,1)= Q4

4. Identifique el lenguaje que genera:

L=(0,1)

El lenguaje que genera según la tabla de transiciones y el diagrama realizado, es una

cadena que deben tener dos estados iguales en cualquier parte de la cadena “00” ó “11”
y puede empezar la cadena con 0 ó 1. El lenguaje aceptado por esta autómata es:

1. 00

2. 11

1. Muestre en el simulador gráficamente como recurre una cadena valida. Explique

cada secuencia.
Iniciamos la cadena 1001 que es una palabra aceptada

Se inicializa el autómata Q0 que es la entrada

La palabra 1001 inicia con un uno (1) el cual puede tomar dos caminos diferentes uno de
ellos es que se queda en el mismo estado y puede realizar el cambio estado a Q1

La palabra 1001 continua con un cero (0), el cual la siguiente ruta parte desde el mismo
Q0 que ya que el primer símbolo lo dejo en el estado Q 0 y Q1 pero la única ruta siguiente
posible es de Q0 a Q3 ya que en Q1, no hay transición posible.
La palabra 1001 continua con otro cero (0), desde Q3 hay una transición al estado Q4
2. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres
similitudes y tres diferencias que encuentre al realizaro en los dos simuladores
En ambos simuladores se pueden realizar el diagrama de Moore y correr sin ningún
problema las cadenas que acepte el autómata, el simulador Vas nos permite generar la
tabla de transiciones y pasar un autómata finito no determinísticos (AFND) a un autómata
finito determinísticos (AFD), mientras que el simulador JFLAP, es un poco más completo,
permitiendo generar AFND a AFD, además de otras opciones como obtener la ER, seguir
el proceso de una cadena, generar la gramática, minimizar, comparar equivalencias entre
otras funciones.

7. Genere tres cadenas validas y dos no validas

ER=1*0+1*0(Ƴ+0+1)*( Ƴ+0+1) Valido?

1110+011 Si

10+1011 Si

1111110+1111011 Si

011+10110 No

11101111+101100 No