Este es un seguimiento de mi pregunta anterior :
Tengo esta tarea en la universidad:
Usted debe diseñar un diagrama de estado de Mealy para un dispositivo de seguridad. Suponga que dos botones pulsadores, A y B, están disponibles para ingresar a la combinación. Un enclavamiento electromecánico garantiza que los botones no pueden activarse simultáneamente. La cerradura debe tener las siguientes características:
La combinación es A-A-B-A-B-A. Si esta secuencia se ingresa correctamente, se afirma una señal de salida que hace que el bloqueo se abra.
Para cualquier estado, tres pulsos B en una fila deben garantizar que el control vuelva a su estado inicial.
Cuando ocurre cualquier uso fuera de secuencia del botón A, se confirma una salida que suena una campana para advertir que se está manipulando el bloqueo.
Una vez que el bloqueo está abierto, presionar A o B hará que el bloqueo se cierre sin señalar un error. Dibuja un diagrama de estado de Mealy para esta máquina de estados finitos. Indique qué representa cada estado y qué condiciones de entrada provocan cambios de estado y salida. Es posible que no se haya especificado todo, así que anote los supuestos que haga.
Tengo que implementar esta máquina Mealy usando flip-flops D y MUX'es.
Tengo 10 estados para mi máquina:
S0 -> "Input Start" // Nothing happened
S1 -> A
S2 -> AA
S3 -> AAB
S4 -> AABA
S5 -> AABAB
S6 -> AABABA -> this means EXIT
S7 -> B
S8 -> BB
S9 -> A -> "ALARM ON"
***** Estados de la máquina
DIFERENCIA: - > Mi solicitud es si alguien me puede mostrar la forma de hacer la Tabla de verdad para esta máquina, por favor.