state transition system

state transition system

concepts

automaton

state transition systems

Finite State Machine