finite state machine

A computational model consisting of a finite number of states and transitions between those states, possibly with accompanying actions. [IEEE 610]

Terms of Software Testing (ISTQB)