It's Friday the 13th today. This procedure can be generalized to implement any finite states. Counters are a very simple way to start. No decisions on what state to advance to next.
Current state is output.
This is called Remapping the next state function. Don't care conditions, where it doesn't matter what the output is. We use 3 Flip Flops because there are 5 state. Information contained on this page does not represent the lecuture verbatim. These notes are not a substitute for class attendance.