AUTMATAS FINITOS

DETERMINISTAS


Lenguajes y
Autmatas
Autmata finito determinista

El trmino determinista hace referencia al hecho de que para cada
entrada slo existe uno y slo un estado al que el autmata puede hacer la
transicin a partir de su estado actual. Por el contrario, un autmata nito no
determinista puede estar en varios estados a la vez. El trmino autmata nito
hace referencia a la variedad determinista, aunque normalmente utilizaremos el
trmino determinista o la abreviatura AFD, con el fin de recordar al lector el
tipo de autmata del que estamos hablando.
Un autmata nito determinista consta de:
1. Un conjunto nito de estados, a menudo designado como Q.
2. Un conjunto nito de smbolos de entrada, a menudo designado
como .
3. 3. Una funcin de transicin que toma como argumentos un estado
y un smbolo de entrada y devuelve un estado. La funcin de
transicin se designa habitualmente como . En nuestra
representacin grca informal del autmata, se ha representa
mediante arcos entre los estados y las etiquetas sobre los arcos. Si
q es un estado y a es un smbolo de entrada, entonces (q,a) es el
estado p tal que existe un arco etiquetado a que va desde q hasta
p.2
4. Un estado inicial, uno de los estados de Q.
5. Un conjunto de estados nales o deaceptacinF. El conjunto F es
un subconjunto de Q.

e0
e1
Diagrama de Transiciones de Estados

Una tabla de transicin de estados es una tabla que muestra
qu estado se mover un autmata finito dado, basndose en el estado actual
y otras entradas. Una tabla de estados es esencialmente una tabla de
verdad en la cual algunas de las entradas son el estado actual, y las salidas
incluyen el siguiente estado, junto con otras salidas.
Una tabla de estados es una de las muchas maneras de especificar
una mquina de estados, otras formas son un diagrama de estados, y
una ecuacin caracterstica.
El diagrama de transicin de estados o DTE, enfatiza el comportamiento
dependiente del tiempo del sistema y es un grafo denido como sigue:
a) Para cada estado de Q, existe un nodo. b) Para cada estado q de
Q y cada smbolo de entrada a de , sea (q,a)=p. Entonces, el
diagrama de transiciones tiene un arco desde el nodo q hasta el
nodo p, etiquetado como a. Si existen varios smbolos de entrada
que dan lugar a transiciones desde q hasta p, entonces el
diagrama de transiciones puede tener un nico arco etiquetado con
la lista de estos smbolos.
b) Existe una flecha dirigida al estado inicialq0, etiquetada como
Inicio. Esta flecha no tiene origen en ningn nodo.
c) Los nodos correspondientes a los estados de aceptacin (los que
pertenecen a F) estn marcados con un doble crculo. Los estados
que no pertenecen a F tienen un crculo simple.


g
a b
e0 1 1
e1 0 1
f
a b
e0 e0 e1
e1 e1 e1

Referencias
http://exa.unne.edu.ar/informatica/anasistem2/public_html/apuntes/maf/anexos/tra
nsicion.htm
http://es.wikipedia.org/wiki/Tabla_de_transici%C3%B3n_de_estados