#state machine #state transition #finite automaton #system state #programming logic