COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

OBJETIVO
El siguiente documento habla acerca del uso de los Autmatas Finitos

Deterministas y

Autmatas Finitos No Deterministas, los elementos que los forman as como la realizacin de
sus diagramas y su funcionamiento que es parte de los lenguajes regulares.
MARCO TEORICO
AUTOMATA FINITO DETERMINASTA
Un autmata finito determinista es un autmata finito que adems es un sistema
determinista; es decir, para cada estado en que se encuentre el autmata, y con cualquier
smbolo del alfabeto ledo, existe siempre a lo ms una transicin posible desde ese estado y
con ese smbolo.
Formalmente, se define como una 5-tupla (Q, , q0, , F) donde:

es un conjunto de estados;

es un alfabeto;

es el estado inicial;

es una funcin de transicin;

es un conjunto de estados finales o de aceptacin.

AUTOMATA FINITO NO DETERINISTA

Un autmata finito no determinista (abreviado AFND) es un autmata finito que, a diferencia
de los autmatas finitos deterministas(AFD), posee al menos un estado q Q, tal que para un
smbolo a del alfabeto, existe ms de una transicin (q,a) posible.
Formalmente, si bien un autmata finito determinista se define como una 5-tupla (Q, , q0, , F)
donde:

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

es un conjunto de estados;
es un alfabeto;

es el estado inicial;

es una funcin de transicin;

es un conjunto de estados finales o de aceptacin.

en un AFND la funcin de transicin se define como:

Para el caso de los AFND-, se suele expresar la funcin de transicin de la forma:

donde P(Q) es el conjunto potencia de Q. Esto significa que los autmatas finitos
deterministas son un caso particular de los no deterministas, puesto que Q pertenece
al conjunto P(Q).

LENGUAJE REGULAR
Son los lenguajes formales ms simples, con los mecanismos de representacin y
reconocimiento ms estudiados. Su aplicacin prctica en la teora y construccin
de intrpretes y compiladores de lenguajes de programacin o de especificacin o formato de
informacin, especialmente como microcomponentes del analizador lexicogrfico que detecta
los tkenes como constantes numricas, cadenas de texto, operadores, palabras reservadas ,
separadores,

etc.

Pero

tambin

se

puede

apreciar

su

uso

en mquinas

expendedoras, telfonos pblicos, calculadoras y otros artefactos electromecnicos.

QUE ES EL JFLAP?
JFLAP es un software para la experimentacin con temas lenguajes formales como autmatas
finitos no deterministas, pushdown autmatas no deterministas, las mquinas multi-cinta de
Turing, varios tipos de gramticas, el anlisis, y los sistemas-L. Adems de la construccin y
prueba de estos ejemplos, JFLAP permite experimentar con las pruebas de la construccin de
una forma a otra, como la conversin de un NFA a un DFA a un estado mnimo de DFA a una
expresin regular o gramtica regular. Haga clic aqu para obtener ms informacin sobre lo
que uno puede hacer con JFLAP.

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

Entorno de para el desarrollo de JFlap:

Cundo ejecutamos nuestro programa la principal ventana que nos aparece

Aqu es donde podremos seleccionar el tipo de autmata que vamos a trabajar , y

seleccionaremos la primer opcin que dice Finite Automaton y se abrir tra nueva ventana

Ahora empezaremos a realizar un primer grafo

Nos iremos y seleccionamos de la barra de men quevienen acompaada de varios

iconos y seleccionaremos la opcin para crear un estado crear un estado

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

La flecha nos servir para seleccionar cualquier opcin :

La otra flecha nos sirve para hacer transiciones en nuestro ejercicio:

La calavera se utiliza para eliminar:

Una vez seleccionado se tiene que seleccionar cual de los estados ser el estado inicial y cual
ser el estado final para llegar a esta opcin debemos estar sobre un estado y dar clik derecho
y dependiendo de opcin queremos elegiremos la opcin final o

Estado Inicial:

Estado Final:

Para crear una transicin de un estado hacia ese mismo estado nos ubicamos sobre el
estado y daremos 2 veces clic
Para probar el autmata , vamos a seleccionar StepbyState del men input para que pueda
ser evaluado la cadena de caracteres
Vamos a digitar la cadena que vamos a evaluar :

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

Presione ok para analizar la cadena que ira recorriendo de estado a estado

Lo que nos arrojara es la ventana donde seleccionando step para ver como se ejecuta paso a
paso el autmata .

Si la cadena es aceptada aparecer en color verde y esto indica que el autmata cumpli con
todos las reglas que fueron impuestas si la cadena no es aceptada en el autmata significa
que los caracteres no pertenecen a esta cadena y aparecer en rojo

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

Proponer los autmatas finitos para:

a)
b)

)
)

c) Palabras con nmero de as par {a, b}

d) Que siempre que exista una a est precedida por una b

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

3) Palabras con nmero de as par {a, b}

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

4) Que siempre que exista una a est precedida por una b

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

Autmatas:
a) Numero de As Impar.
b) (a|b )*bb
c) ( X | Y )* X Y
d) ( a | b | c ) ca*
e) Letra (Letra/Digito)*

Autmatas:
1) Numero de As Impar.

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

2( a|b )*bb

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

3) ( X | Y )* X Y

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

4) ( a | b | c ) ca*

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

5) Letra (Letra/Digito)*

Conclusin
Los autmatas as expresados son bastante abstractos y parece que los procedimientos son
mejores. Pero captan la esencia del clculo y hacen posible que solo nos tengamos que
dedicar a realizar algoritmos.

http://eafranco.com/docencia/teoriacomputacional/files/books/TeoriaDeAutomatas,lenguajesYC
omputacion-Hopcroft.pdf
http://ocw.unican.es/ensenanzas-tecnicas/teoria-de-automatas-y-lenguajes-formales/materialde-clase-nuevo/nuevo/2-1_Introduccion.pdf
http://es.slideshare.net/orcapa/automatas-infinitos

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014

COACALCO DE BERRIOZABAL A 24 DE NOVIEMBRE DEL 2014