Sei sulla pagina 1di 3

MAQUINA DE ESTADOS FINITOS

Se denomina mquina de estados a un modelo de comportamiento de un sistema


con entradas y salidas, en donde las salidas dependen no slo de las seales de
entradas actuales sino tambin de las anteriores.
Las mquinas de estados se definen como un conjunto de estados que sirve de
intermediario en esta relacin de entradas y salidas, haciendo que el historial de
seales de entrada determine, para cada instante, un estado para la mquina, de
forma tal que la salida depende nicamente del estado y las entradas actuales.
Una mquina de estados se denomina mquina de estados finitos (FSM por finite
state machine) si el conjunto de estados de la mquina es finito, este es el nico
tipo de mquinas de estados que podemos modelar en un computador en la
actualidad; debido a esto se suelen utilizar los trminos mquina de
estados y mquina de estados finitos de forma intercambiable. Sin embargo un
ejemplo de una mquina de estados infinitos sera un computador cuntico esto es
debido a que los Qubit que utilizara este tipo de computadores toma valores
continuos, en contraposicin los bits toman valores discretos (0 1). Otro buen
ejemplo de una mquina de estados infinitos es una Mquina universal de
Turing la cual se puede definir tericamente con una "cinta" o memoria infinita.
La representacin de una mquina de estados se realiza mediante un Diagrama
de estados, sin embargo tambin es posible utilizar un Diagrama de flujo.

Las mquinas de Mealy y Moore son circuitos sncronos. Un circuito sncrono es


un circuito digital en el cual sus partes estn sincronizadas por una seal de reloj.
En un circuito sncrono ideal, cada cambio en los diferentes niveles lgicos es
simultneo. Estas transiciones se realizan despus de un cambio de nivel de una
seal llamada reloj. Idealmente la entrada a cada elemento de almacenamiento
alcanza su valor final antes de que la siguiente seal de reloj ocurra, por lo tanto el
comportamiento de un circuito se puede predecir exactamente. Se requiere se
cierto retardo para cada operacin lgica, por lo que existe una mxima rapidez en
el que cada sistema sncrono puede responder. El anlisis de un diagrama de
tiempos puede darnos esta rapidez.
Una mquina de Mealy es una mquina de estados finita, donde las salidas estn
determinadas por el estado actual y la entrada. Esto significa que en el diagrama
de estados se incluye una seal de salida para cada arista de transicin. Por

ejemplo, en la trayectoria de un estado 1 a un estado 2, si la entrada es cero la


salida puede ser uno, y se debe poner sobre la arista la etiqueta 0/1.

En contraste, la salida de una mquina de estado finito Moore (mquina de


Moore), depende solo del estado actual y no depende de la entrada actual. Por lo
tanto, los estados de una mquina de Moore son la unin de los estados de la
mquina de Mealy y el producto cartesiano de estos estados y alfabeto de entrada
(posibles entradas).

Definicin formal:
Una mquna de Moore se define como una tupla (secuencia finita) de 5{S, , ,
T, G} que consiste de: Un conjunto finito de estados ( S ) Un conjunto finito
llamado alfabeto de entrada ( ) Un conjunto finito llamado alfabeto de salida (
) Una funcin de transicin (T : S S) que dirige a cada estado y a una
entrada al siguiente estado. Una funcin de salida (G : S ) que dirige a cada

estado al alfabeto de salida. El nmero de estados en una mquina de Moore es


mayor o igual al nmero de estados a su correspondiente mquina de Mealy.
Una mquina de Mealy es una tupla de 6 (S, S0, , , T, G), que consiste de:
Un conjunto finito de estados ( S ) Un estado inicial S0 el cual es un elemento de
(S) Un conjunto finito llamado alfabeto de entrada ( ) Un conjunto finito
llamado alfabeto de salida ( ) Una funcin de transicin (T : S S) Una
funcin de salida (G : S )

Potrebbero piacerti anche