Finite State Machine (cont.)
Finite State Machines can be represented by a graph.
The graph is called State Diagram.
The states are the nodes in the graph.
The arcs in the graph represent state transitions.
Each arc is labeled with the Inputs that cause the transition and the outputs.