For the similar Mealy problem, with one input, x, and one output, z, such that z 1 iff x has been 1 for three consecutive clock times, the state diagram (Figure 7.13) and the corresponding ASM diagram is shown in Figure 8.19. Note that the state assignment may be shown to the right of the state name, outside the state box.