Esto se parece a la tarea, así que no daré una respuesta completa que muestre los arcos de estado.
Primero note que el costo mínimo tiene múltiples significados. Puede ser en términos de:
- Precio de los componentes
- Número de puertas lógicas
- Número de flip-flops o cierres
- Cantidad de transistores (pueden incluir resistencias, condensadores, etc.)
- Alguna combinación ponderada de lo anterior
- A veces otros factores ...
El conjunto derecho e izquierdo de luces traseras son salidas de espejo entre sí. Cada uno tiene solo 5 estados: All_OFF, OUTERMOST_ON, HALF_ON, INNERMOST_OFF, ALL_ON
Averigua el diagrama de estado para la izquierda o la derecha (imagina que el otro lado no existe por ahora). Luego imagina el otro lado. Debería notar que todo lo que necesita hacer es intercambiar las conexiones L y R; mantenga las salidas en equipos de lo más interno / lo más externo posible (o tenga una asignación de índice de bits a la convención).
Es posible cubrir ambos conjuntos de luces traseras con un FSM de 5 estados usando solo 3 flops. Esto se puede hacer al colocar la lógica combinacional entre el FSM y la salida final que puede forzar la salida a todo encendido / apagado. En la práctica, esto no se debe hacer en un vehículo real, ya que la salida podría fallar cuando cambia la entrada. 8-flops (uno para cada salida) es el mínimo necesario para evitar fallas; más algunos posibles fracasos para un contador. Esto daría lugar a dos FSM (puede o no compartir un contador si se implementa) con un comportamiento idéntico (conexión de entrada / salida diferente). Es probable que Automotives tenga requisitos adicionales de seguridad y confiabilidad.