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