state transition diagram
state diagram
A diagram consisting of circles to represent states and
directed line segments to represent transitions between the
states. One or more actions (outputs) may be associated with
each transition. The diagram represents a {finite state
machine}.