ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

AUTMATAS Y LENGUAJES FORMALES

MOMENTO 2.
JUAN CARLOS GONZALEZ CODIGO 71756115

Grupo: 301405_7

TUTOR: JAIME JOS VALDS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA DE INGENIERA DE SISTEMAS
CEAD COROZAL
JULIO DE 2016

INTRODUCCION

Un autmata es un modelo matemtico para una mquina de estado finito (FSM siglas en
ingls). Una FSM es una mquina que, dada una entrada de smbolos, salta a travs de
una serie de estados de acuerdo a una funcin de transicin (que puede ser expresada como
una tabla).
La teora de autmatas es una rama de las ciencias de la computacin que estudia las
mquinas abstractas y los problemas que stas son capaces de resolver

DESARROLLO ACTIVIDAD
PARTE 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
EJ1

LENGUAJE

EXPRESION
REGULLAR

L=
{Una a+ b
cadena de a
bba
una cadena
de
b}
{La cadena
bba}
Debido a que
es la nica
cadena que
llega
al
estado final
(q4)

EJE2

L= {cadenas
que
(ab)+
comienzan
por una a y
continan
con varias o
ninguna a, y
siguen con b
y continuan
con varias o
ninguna b}
L=
{Todas
las cadenas
que inician
por a o b y
que terminan
con ba, y que
en
medio
pueden o no
tener
n
smbolos de a
o
b}

EJ3

L=
= (a)*+(ab)*
{ cadenas que
empiezan por
a y no
tienen ceros
(ab)
consecutivos
}

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.

El autmata es de tipo AFND.

a
A= {0} U {1,4}
B= {1} U {4}
C= {2,4} U {5}
D= {4}
E= {3}
F= {3,4}

B= {1} U {4}
B= {1} U {4}
E= {3}
D= {4}
D= {4}

b
C= {2,4} U {5}
D= {4}
F= {3,4}
D= {4}
D= {4}

1. Describa la forma matemtica del autmata.

AFDN ={ ( A , B ,C , D , E , F ) , ( , a , b ) , , A ,C , D , F }
2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata
del ejercicio propuesto).
Para este autmata es una quntupla compuesta por:

AFND=(Q, , q 0, , F)

q 0=Estado inicial
=Funcin de transicin

F=Estadosde aceptacin
Q=Conjunto de estados

= Alfabeto
q 0=A

F=C , D , E
Q={( A , B ,C , D , E , F )}

= , a , b
=Q P ( Q )
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 pie de pgina o de lo contrario no tienen validez)

Se utilizar la cadena abb, el estado inicial es q0 donde ingresar el primer smbolo de la

cadena (b).

Una vez a ingresado el primer smbolo, en este caso a se realiza el cambio de estado,
entrando al estado q1.

Debido a que se presenta una transicin , el autmata puede cambiar al siguiente estado
sin requerir un smbolo, llegando al estado q4.

All en el ltimo estado, el estado q4 (estado final), el autmata recibir un smbolo, la b,

que se repetir dos veces para posteriormente dar fin a la ejecucin de la cadena.

Autmata en estado final (q4).

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.

REFERENCIAS BIBLIOFRAFICAS

Altamirano, L., Arias, M., Gonzlez, J., Morales, E., & Rodrguez, G. (2011). Teora de
Autmatas y Lenguajes Formales. Universidad Tcnica Particular de Loja. (2009)
Videoconferencias. Recuperado de https://www.youtube.com/watch?v=IDZkd2571gU

Juancar Molinero. (2014). Definicin Formal de un Autmata Finito Determinista.

Recuperado
de
https://www.youtube.com/watch?
v=P0AxQvJcN2Q&list=PLzv9272qg5D08baz38erCnvuxBJta-wb

David
Martnez.
(2012).
Lenguajes
y
Autmatas.
https://www.youtube.com/watch?v=WP4cvNiMmYk

Carlos Alberto Amaya T. (2013). Lenguaje aceptado por un autmata. Recuperado de

https://www.youtube.com/watch?v=QdRlbzVsvLQ

Recuperado

de