Finite State Machine

The computational model, which consists of a limited number of states and transitions between these states, possibly associated actions.