UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

Curso: Autmatas y Lenguajes Formales-301405

MOMENTO 1
AUTMATAS Y LENGUJES FORMALES

Andrs Eduardo Ibarra Obando

Cd: 4538930

Email: dyobando@hotmail.com
Zona: Dos Quebradas -Cead: Eje Cafetero

Grupo: 301405_58

Tutora: ngela Mara Gonzlez

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

Ingeniera de Sistemas
2016

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y Lenguajes Formales-301405

EJERCICIO A DESARROLLAR PARA MOMENTO 1

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 tem, Autmatas Finitos
Deterministas, Autmatas Finitos no Deterministas, lenguajes y expresiones
regulares (ER), encuentre segn corresponda:
No.

AFN/AFD

LENGUAJE

EXPRESIN REGULAR

L= {w | w tiene al menos (aa*bUbb*a)(aUb)*

una a y a tiene al menos
una b} sobre {a,b}

EJ1

AFD

L= {w | w comienza por b
y termina en a} sobre {a,b}

EJ2
AFD

bb*a(aUbb*a)*

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y Lenguajes Formales-301405

AFN/AFD

LENGUAJE

EJ
3

EXPRESIN REGULAR

El lenguaje de las
palabras que tiene
abb o bba por
subcadena

((aa*bUbaa*b)(aa*b)*bU
bbb*a)(aUb)*

Lenguaje: L= {w | w
comienza por b o d
y termina en a y en
c respectivamente}
sobre {a, b, c, d, f,
g}

(bf*aUdg*c)*

Lenguaje: L= {w | w
comienza por a, c o
d y termina en d,
sobre {a, b, c, d}

(abUc)*d

AFD

EJ
4
AFN

EJ
5

AFD

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y Lenguajes Formales-301405

2. PARA LA EXPRESION REGULAR: (cb)*ca(ab)*U b(ba)*b U (ab)*a(ba)*b

SIMPLIFIQUE LA EXPRESIN REGULAR Y RESUELVA:
(cb)*ca(ab)*U b(ba)*b U (ab)*a(ba)*b
(cb)*ca(ab)* U (ba)*b(b+a)
c(cb)*a(ab)* U (ba)*b(b+a) Expresin Regular simplificada

1. Describa la forma matemtica del autmata

Una mquina de estados finitos M es un quntuplo (, , , , ), donde:
= Es el conjunto finito de estados
= Es el alfabeto finito de smbolos de entrada
S Q = Es el estado inicialen K
= Es el conjunto de estados finales o de aceptacin y subconjunto de K
= Es la relacin de transiciones, que a partir de un estado y un smbolo del
alfabeto obtiene un nuevo estado.
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)
Tabla de transicin

a
b
c
0
2
2
1
1
4
3
2
4
3
1
#4
2
Al simplificar la expresin se obtuvo un autmata determinstico AFD, no se presentan
repeticiones desde el inicio hasta el estado final del autmata, es decir que si se tomara
una letra a, b o c, stas presentan una sola forma de llegar al estado q4.
Si miramos la c, parte del estado inicial q0, pasa al estado q1y puede terminar en q4 por
medio de una a.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y Lenguajes Formales-301405

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.
Una mquina de estados finitos M es un quntuplo (, , , , ), donde:
= Es el conjunto de estados {0 , 1 , 2 , 3, 4 }
= Es el alfabeto de entrada {a, b, c, }
S Q = Es el estado inicial {0 }
= Es el conjunto de estados finales {4 }
Donde la funcin : {0 , 1 , 2 , 3, 4 } x {a, b, c, } {0 , 1 , 2 , 3, 4 } viene dada
por:

= (0 , ) = 1
= (1 , ) = 3
= (3 , ) = 1
= (1 , ) = 4
= (0 , ) = 2
= (0 , ) = 2
= (2 , ) = 4
= (4 , ) = 2

4. Identifique el lenguaje que genera.

L= {w | w puede comenzar por a, b o c; pero las cadenas que inician en a o b, solo pueden
terminar en b; y las cadenas que inicien en c solo pueden terminar en a y b} sobre {a, b,
c}
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
pie de pgina o de lo contrario no tienen validez)
Cadena vlida: cbca

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y Lenguajes Formales-301405

Parte del estado inicial q0.

Realiza el primer paso, pasa del estado q0 al estado q1 y lee una c

Realiza el segundo paso, pasa del estado q1 al estado q3 y lee una b

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y Lenguajes Formales-301405

Realiza el tercer paso, pasa del estado q3 al estado q1 y lee una c

Realiza el cuarto paso, pasa del estado q1 al estado q4 y lee una a

7

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y Lenguajes Formales-301405

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.

cadenas vlidas
cbca

cadenas no vlidas
ba
8

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y Lenguajes Formales-301405

ab
bb

cc