Light flash is implemented as external outputs unique to each state.
The FSM relies on two bits of memory to keep track of the lights behavior.
Thus, the FSM states are identified by four possible combinations of those two bits.