State Transition Diagram
The state transition diagram is a graphical representation of the machine changes from one state to another in reaction to the inputs.
A state transition diagram is often the first step in the design of a synchronous state machine, and is one representation of the results of analysis of an SSM.