AGPS

Mquinas de Mealy y Moore

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). Mquina de Mealy La salida depende del estado actual y de las entradas Por lo regular, tienen menos nmero de estados Es menos estable Para probar un circuito, primero se hace el cambio en la entrada X y despus se da el pulso de reloj Las salidas se encuentran en la arista Mquina de Moore La salida depende slo del estado actual El nmero de estados es mayor o igual a la mquina de Mealy Es mas estable Para probar un circuito, primero se da el pulso de reloj y despus se hace el cambio en la entrada X Las salidas se encuentran dentro del estado

1/2

AGPS

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 )

Referencia: http://en.wikipedia.org/

2/2