(State) Transition diagram :
A state transition diagram or simply a transition diagram is a directed graph which can be constructed as follows:
- For each state in Q there is a node.
-
There is a directed edge from node q to node p labeled a iff
. (If there are several input symbols that cause a transition, the edge is labeled by the list of these symbols.)
- There is an arrow with no source into the start state.
- Accepting states are indicated by double circle.