Estoy estudiando las máquinas de Moore y Mealy, todo funciona bien, hasta que encontré una máquina de Moore donde la salida no estaba en la lista. Sé que las salidas de las máquinas de Moore dependen del estado actual, pero ¿cómo puedo averiguar la salida en mi ¿caso? Si me preguntas sobre la salida de la máquina inferior, diría que es '100'. Pero, ¿por qué es '100' y no '000' o '010'?
Su ejemplo requiere 3 registros xxx que se muestran en cada estado. Los 3 registros definen un estado único del cual se muestran 5.
Puede definir otra salida = 1 de forma única de cada estado con puertas o usar los 3 registros como sus salidas como se muestra. Los estados no definidos, que no se muestran son 011,110,111 o 3,6,7 en BCD. Se supone que una transición de reloj define el siguiente estado del estado actual.
Un registro es simplemente un estado de memoria utilizando un Flip Flop.
Lea otras preguntas en las etiquetas state-machines