Hola, para la parte C estamos teniendo problemas con la cantidad de variables de estado para el circuito CorLar ya que interpretamos de la letra que se nos pide que los estados sean solo 2 por lo siguiente: "Q[1..0] serán las variables de estado del circuito CorLar.".
El problema que estamos teniendo es que el circuito tiene 5 estados y no pueden ser reducidos, por lo que necesitaríamos 3 variables de estado. Otro circuito al que llegamos con 4 estados presenta una falla de funcionamiento con la salida "CORTO" cuando el botón es presionado durante 6 flancos y se suelta antes del séptimo, dando una salida errónea.
La duda seria si esta bien tener un circuito con mas de 2 variables de estado o estrictamente deben ser dos?
Gracias,
Ignacio.