Mealy y Moore

Máquina de Mealy
Se define como una tupla (secuencia finita) de seis, {S, S0, ∑, ᴧ, T, G} que consisten en:
S; Un conjunto finito de estados.
S0; Un estado inicial el cual es un elemento de S.∑; Un conjunto finito llamado alfabeto de entrada.
ᴧ; Un conjunto finito llamado alfabeto de salida.
T: S x ∑ → S; Una función de transición.
G: S → ᴧ; Una función de salida.
Es una máquina deestados finita, donde las salidas están determinadas por el estado actual y la entrada. Esto significa que el diagrama de estados incluirá ambas señales de entrada y salida para cada línea de transición.Tiene tantos datos como elementos en el conjunto S y son etiquetados con el nombre de dicho elemento.
En pocas palabras las características básicas para esta máquina de Mealy:
La salida depende tantodel estado actual como de las entradas.
Es menos estable.
Las salidas se encuentran ubicadas en la arista (por fuera).
Por lo regular tiene un menor número de estados.
Para probar un circuitoprimero se debe hacer el cambio en la entrada X y después se da el pulso del reloj.

Fig 1. Máquina de estados de Mealy


Fig 2. Diagrama de estados de Mealy
Máquina de Moore
Se define como unatupla (secuencia finita) de cinco, {S, ∑, ᴧ, T, G} que consisten en:
S; Un conjunto finito de estados.
∑; Un conjunto finito llamado alfabeto de entrada.
ᴧ; Un conjunto finito llamado alfabeto desalida.
T: S x ∑ → S; Una función de transición que dirige a cada estado y a una entrada al siguiente estado.
G: S → ᴧ; Una función de salida que dirige a cada estado al alfabeto de salida.
Es unamáquina de estado donde las salidas solo dependen del estado actual por lo tanto los estados de una máquina de Moore son la unión de los estados de la máquina de Mealy y el producto cartesiano de estosestados y alfabeto de entrada. Tiene tantos estados como elementos tiene el conjunto S y son etiquetados con el nombre de dicho elemento.
En pocas palabras las características básicas para esta...