The state diagram that corresponds to this state table is shown in
Figure 6.3. Each state is represented by a circle. Also included in the
circle is the output for that state. Each line coming out of a circle represents
a possible transition. The label on the line indicates the input that
causes that transition. There must be one path from each state for each
possible input combination. (In this example, there is only one input;
thus, there are two paths.) Sometimes, the same next state is reached for
both input combinations and a single line is shown either with two labels
or with a don’t care (X). This state diagram contains the identical
information as the state table.