Creé un diagrama de transición de estado para la máquina harinosa a continuación, pero no estaba seguro de si esto es correcto. La parte que me confundió fue que s1 no tiene aristas.
Tiene bordes, las dos últimas líneas de la tabla, simplemente no las has dibujado. Se vuelven a sí mismos, al igual que el borde 0/0
en el estado S0.
Lea otras preguntas en las etiquetas circuit-design state-machines