AUTOMATAS Y MQUINAS DE

ESTADO FINITO

Acerca del procesamiento de informacin (as como los lenguajes formales), son
las mquinas, que reciben una seal de entrada, tienen un procesador de la
informacin y emiten una seal de salida, adems que pueden almacenar lo que
sucedi antes del momento de ingresar las seales de entrada.

Como definicin, se puede decir que una mquina es un sistema que puede
aceptar una entrada, que puede producir una salida y que tiene un tipo de
memoria interna para llevar el registro de cierta informacin acerca de las entradas
anteriores. La condicin interna completa de la mquina y de su memoria, en un
instante en particular, es lo que constituye el estado de la mquina en ese
instante.

El estado en que la mquina se encuentra en cualquier instante resume su

memoria de las entradas pasadas y determina la forma en que debe reaccionar a
la entrada siguiente, en la medida en que lleguen ms entradas, el estado de la
mquina determina el siguiente estado por ocupar y la salida que tendra que
producirse, si el nmero de estados es finito, entonces la mquina es una mquina
de estado finito.

Una Mquina de Estado Finito es capaz de recordar y situarse en un estado que

depende de la entrada y del estado anterior; son una herramienta muy til para
especificar aspectos relacionados con tiempo real, dominios reactivos o
autnomos, computacin reactiva, protocolos, circuitos, arquitecturas de software,
etc.

El modelo de Mquinas de Estado Finito (Finite State Machine -FSM) es un

modelo que posee sintaxis y semntica formales y que sirve para representar
aspectos dinmicos que no se expresan en otros diagramas.

Sintaxis:

Las mquinas de estado finito se definen como una cudrupla de la forma:

, , , , donde:

={ , , ,, } es un conjunto finito de nodos.

: es un alfabeto finito de smbolos o etiquetas.
 : es un conjunto finito de aristas etiquetadas que unen nodos.
: es el estado inicial. en otros textos s0
Funcin de transicin ( )

Ejemplo:

Representacin grfica de la mquina de estado:

Cudrupla de la mquina de estado:

Semntica:

Los nodos representan los posibles estados de aquello que se desea modelar. Las
etiquetas representan eventos que provocan un cambio. Las aristas determinan de
qu manera cada estado, dado un evento, deriva en otro estado.

Ejemplo:

Supongamos que se quiere modelar el comportamiento de una puerta.

La puerta, inicialmente cerrada, puede pasar a estar abierta tras el evento abrir
puerta. Una vez abierta, puede pasar al estado cerrada, tras el evento cerrar
puerta.

La representacin grfica del ejemplo sera el siguiente:

Trazas

El conjunto de posibles trazas correspondientes a una mquina de estado finito, se

puede definir en trmino de grafos, cmo el conjunto de todos los caminos (de
ejes) alcanzables desde el estado inicial.

Ejemplo:

Dada la FSM (Finite State Machine o Mquina de estado finito) del primer ejemplo:
Las trazas son:

Las Mquinas de Estados Finitos tambin son conocidas como Autmata Finito,
se pueden utilizar ambos trminos de forma indistinta.

Los Autmatas se caracterizan por tener un estado inicial sk o s0, reciben una
cadena de smbolos, cambian de estado por cada elemento ledo o pueden
permanecer en el mismo estado. Tambin tienen un conjunto de Estados Finales o
Aceptables que indican si una cadena o palabra pertenece al lenguaje al final de
una lectura.

Los Autmatas se clasifican en 2 tipos:

Autmata Finito Determinista.

Autmata Finito no Determinista.

Autmatas Finitos Deterministas. Un Autmata recibe secuencialmente una

cadena de smbolos y cambia de estado por cada smbolo ledo o tambin puede
permanecer en el mismo estado. Al final de la lectura el estado del Autmata
indica si la cadena o palabra es aceptada. Si al final de leer todos los smbolos de
entrada la mquina est en alguno de los estados Finales entonces esa cadena es
aceptada, si el estado no es final entonces la cadena o palabra no pertenece al
lenguaje.
 Diagrama de Transicin de un Autmata

En un diagrama de transicin existe un nodo por cada estado de Q. Los

estados finales estn encerrados en un crculo doble. El estado inicial es
apuntado por una flecha que no proviene de ningn otro estado. Para cada estado
y un smbolo , hay exactamente una y solo una flecha que inicia en y
termina en , es decir en , la flecha es etiquetada como . Si
pertenece a decimos que la entrada es aceptada.

Para describir por completo una funcin de transicin , se utiliza una Tabla de
Transicin. Las columnas se etiquetan con los smbolos de entrada, la filas son
etiquetadas con los estados y en las intersecciones se colocan los nuevos estados
, suponiendo que es la columna y la fila que lo
intersecta.

Por tanto, la tabla de transicin de la figura anterior es:

El estado inicial tiene una flecha que apunta a l, los estados finales tienen una
flecha que sale de ellos y los estados que no son finales y no son el inicial no
tienen flecha. En caso de que el estado inicial tambin sea un estado final, se
apuntar con una flecha doble .
Autmatas Finitos No Deterministas. A diferencia de los Autmatas Finitos
Determinstas, donde existe una nica forma de llegar de un estado a otro con una
entrada y se tiene solo un estado inicial, los Autmatas Finitos No Determinstas
no cuentan con estas virtudes, pero son una herramienta para disear un
Autmata Determinsta. Para cada Autmata No Determinsta existe un Autmata
Determinsta que lo representa y que acepta el mismo lenguaje.

Se puede definir un Autmata Finito No Determinsta como:

, donde:

Puede existir ms de un estado inicial y la funcin de transicin arroja un

conjunto, que puede ser vaco de posibles estados. Precisamente esta es la
diferencia entre un Autmata Determinsta y uno No Determinsta. Cuando todas
las transiciones estn determinadas, es decir para cada par de (estado, smbolo)
existe uno y slo un estado correspondiente, se tiene un Autmata Determinsta.
Si se tiene al menos una transicin no definida o indeterminada entonces tenemos
un Autmata No Determinsta.
Un ejemplo de Diagrama de transicin de un Autmata Finito No Determinsta:

Se puede observar que existe ms de un estado inicial y las transiciones

no estn determinadas, basta solo una de las
condiciones anteriores para considerar al Autmata como No Determinsta.

La tabla de transicin de la figura anterior es:

Ejemplo de Autmata Finito No Determinista y Determinista

La tabla de transicin para el Autmata No Determinista es:

Se define el conjunto potencia

el total de elementos es dado que .

Se escriben los estados que representan la combinacin de otros estados de la

forma q3 = {q0, q1} , q4 = {q0, q2}, q5 = {q1, q2} y q6 = {q0, q1, q2}, ahora se
dibuja el diagrama:

Autmata Finito Determinista

Ntese que el estado inicial sigue siendo uno. Todos los estados tienen
determinadas todas las transiciones, las transiciones etiquetadas con dos
smbolos son equivalentes a tener dos transiciones con una etiqueta.

Se tienen dos estados ms, el vaci y el estado q4 el cual es un estado final

porque se obtuvo a partir de otros estados de los cuales uno ya era final. Los
estados q3, q5 y q6 no aparecen en el diagrama porque no existe transicin
alguna que permita llegar a ellos.