Hola!
Estaba tratando de resolver este problema, empezando con el diagrama de Estados, y me quedo de tres estados en vez de cuatro, y creo que tiene todos los mismos valores que el de la solución. Adjunto foto: que es lo que estoy haciendo mal? Las entradas y salidas están en este orden: s1 s2 / c1 c0 requiere_ensanche.
