a model of behavior composed of a finite number of states, transitions, and actions
a binary relation on a set, except that the elements of the set are called &"states&". the relation is called the transition relation.
an abstract representation of all possible sequences of events (paths) in the execution through a  component  or system.