Buenass, haciendo este diagrama de estados yo hice un estado más, que hace que alarma se prenda un período después que en el de la solución, y para contemplar el caso medio límite que hice en el diagrama de tiempos de que control haga solo un pulso de un período a 1 (entonces tengo que empezar a cargar de nuevo enseguida) tengo que irme a q1 con entradas 00 y salida 01 (para que se prenda alarma) y me voy a q0 con entradas 10, o sea si control no esta apretado y salida a su vez 01 para que se prenda alarma. El tema es que esto hace que mi q3 y q2 no sean equivalentes y no puedo minimizarlo. Entiendo que es innecesario porque alarma se puede prender como se prende con el naranja y yo lo hago esperar un período más, pero estaría mal? porque no está especificado en la letra cuándo se tiene que prender alarma. Los mapas k y eso quedan mucho mas feos pero ta.
En la imagen el verde es mi diagrama de estados, la simulación con naranja es la del diagrama de la solución y las modificaciones en rojo son con mi diagrama.
Graciass.