Hay dos tipos de máquinas de estado, Mealy y Moore . La diferencia entre los dos es que si bien las salidas en las máquinas Moore dependen solo del estado actual, las salidas de la máquina Mealy también dependen de las entradas actuales.
Tu primer ejemplo es cómo describimos una máquina Mealy. Las burbujas representan el estado actual, cada uno de los cuales tiene un nombre (llamémoslo \ $ S \ $). Las flechas representan las transiciones. Las etiquetas en las flechas están en la forma \ $ (I / O) \ $ donde \ $ I \ $ es el valor de entrada, y \ $ O \ $ es el nuevo valor de salida que resultaría de la transición correspondiente.
El segundo ejemplo es una descripción de una máquina Moore. Nuevamente las burbujas representan el estado actual, y las flechas las transiciones. Sin embargo, el etiquetado es diferente. Las etiquetas para las transiciones ahora son solo \ $ (I) \ $ - es decir, el valor de entrada. La etiqueta para el nombre del estado ahora es \ $ (S / O) \ $ - el nombre del estado, seguido de la salida en ese estado.
Debido a que la salida de la máquina de Moore depende solo del estado, los valores de salida están etiquetados en la burbuja de estado. Mientras que debido a que las salidas en la máquina Mealy dependen de la entrada y reaccionan inmediatamente, cambiarán en las transiciones, y como tales están etiquetadas en la flecha de transición.
