Como indica el título, estoy intentando dibujar el diagrama de transición de estado de una máquina de estado secuencial que generará un "0" hasta que la secuencia 0, 1, 0 ocurre. Después de que se produce la secuencia, la máquina debe generar un "1" independientemente de la entrada.
Aquí está mi trabajo, pero he encontrado un problema. ¿Qué sucede cuando llegamos al estado S1 y la secuencia agrega un 0? Si lo devuelvo a S0, podemos hacer que "010" regrese a S1, lo cual es válido y daría un resultado de 1. Sólo pretendía que el resultado fuera de 1 una vez que llegue a S3. ¿Cómo puedo arreglar mi diagrama?