¿Puede alguien explicarme cómo puedo saber qué tipo de FSM tengo? En mi libro de texto leí que la salida en un Mealy FSM se basa tanto en la entrada como en el estado actual, pero en un Moore FSM se basa solo en el estado actual. Entonces, ¿por qué el circuito en la figura de abajo es un FSM Moore? Si cambio la señal "In", entonces "Q0" y "Q1" también cambiarán, por lo que la salida depende de la entrada. ¿Eso no lo convierte en un Mealy FSM?
Tal como está escrito allí ,
"Las salidas de Moore están sincronizadas con el reloj, solo cambian con las transiciones de estado. Las salidas de Mealy son asíncronas y pueden cambiar en respuesta a cualquier cambio en las entradas, independientemente del reloj."
En su caso específico, Q0 y Q1 cambian de forma sincrónica con el reloj (debido a la presencia de los dos flip-flops D), por lo tanto, es un FSM de Moore.
El estado del circuito está representado por los flip-flops. En este caso, sus salidas (Q0 y Q1) son exactamente iguales a las salidas del flip-flop. Las entradas solo afectan las salidas provocando un cambio de estado. Si (por ejemplo) la salida del flip-flop izquierdo fuera ANDed con In para producir Q0, entonces sería una máquina Mealy.
Lea otras preguntas en las etiquetas digital-logic flipflop logic-gates state-machines diagram