There are 8 states in the state machine. These states with outputs are shown in Table 2.1. The state transitions are shown in Figure 2.1. Note that transitions with no condition mean ``default'' transitions, that is, if conditions for other transitions do not hold, these transitions occur.
Table: States and Their Outputs
Figure: Lab 10 State Transition Diagram
