Maquina de estado, Mealy sin reset

#1
Buenos dias a todos los foristas, tengo una duda con el siguiente diagrama que anexo.


Me piden detectar la secuencia por Mealy sin reset 0010,0001.

La cuestion es en S4, si llego normal es decir de 0001, la salida enciende durante la transicion, pero cuando hago la secuencia 0010, al llegar al S4 tengo, tendria las posibles secuencias
a) 0010-0
b) 0010-1
el caso es que al elegir la segunda, mi salida enciende, siendo que no se cumple la condicion,
segun yo, acaso es por que me faltaron mas estados o esta bien la secuencia?

Gracias por su atencion y espero me puedan ayudar.

Nota; el profe ya la reviso y no se dio cuenta, pero como esta es parte de la mitad de una practica, capaz que me la vuelve a revisar y me la puede rechazar.
 

Adjuntos

Arriba