Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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 un conjunto de estados;
es un alfabeto;
es el estado inicial;
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
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 :
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
a)
b)
)
)
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.
2( a|b )*bb
3) ( X | Y )* X Y
4) ( a | b | c ) ca*
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