Para mí tiene sentido que la salida en una máquina Mealy esté determinada por la entrada y el estado actual porque me da la sensación de que realmente es una salida.
Pero las salidas en una Máquina Moore están dadas por el estado actual, y esto no tiene ningún sentido para mí. ¿Por qué no están determinados por el siguiente estado?
Lo siento si mi pregunta es tonta.
Gracias.
La definición de una Moore Machine es que las salidas solo dependen del estado actual. A diferencia de una máquina Mealy cuyas salidas también dependen de las entradas.
Si lo piensa, ¿cómo pueden las salidas depender del próximo estado que aún no haya ocurrido?
El punto entero del estado actual es determinar las salidas. Si el siguiente estado determinara las salidas, lo llamaríamos "estado actual".
it .
Considere un semáforo. Hay tres estados:
La luz comienza en rojo (los coches se detuvieron). Después de un tiempo, se vuelve verde (los autos se mueven), luego, después de un tiempo más, se vuelve amarillo (los coches se desaceleran), y luego vuelve a ponerse rojo.
No tiene sentido decir "El estado del sistema de luz es verde, por lo que la luz debería ser amarilla, porque el amarillo es el siguiente estado". Nombras los estados de acuerdo a sus salidas. Cuando la luz es verde, llamas a ese estado Verde (o Ir, o Conducir, o lo que sea). Cuando la luz está en rojo, llamas a ese estado Rojo (o Stop, o Halt, o ...).
Lea otras preguntas en las etiquetas flipflop