In Section 4.3 we looked at the general mathematical description of a state machine, of Moore and Mealey types. Figure 68 gives corresponding block diagrams, referred to as the canonical implementation of state machines.
See Wakerly, Section 7.3 (pp550) for additional information.