Note that state 11 is never reached; this problem really only has 3 states
(although when the system is first turned on, it could start in state 11).
But after the first clock, it will leave that state and never return. That
becomes obvious from the state diagram of Figure 6.28.