Estoy tratando de dibujar un fsm para una máquina de soldadura. Hasta ahora tengo la siguiente tabla, que creo que es correcta .. El sistema tiene tres estados normales: detenido, iniciado y soldado. Solo pasará de detenido a iniciado cuando se presione el botón de encendido, y de iniciado a soldar cuando se presione el botón de soldadura, luego de soldadura a detenido cuando se presione nuevamente el botón de encendido. El sistema solo tiene una salida única: una señal llamada falla, que se establece en 1 si hay una secuencia incorrecta de pulsaciones de botones. Agregar un estado fallido hace que el sistema sea fácil de implementar como una máquina Moore. La tabla de transición de estado se vería como:
Siguiendo esa descripción, ¿alguien puede ayudarme con el diseño, por favor? Ha pasado mucho tiempo desde que hice algo muy similar.