A model of behavior composed of a finite number of states, transitions between those states, and actions.