6.2.7 Worked Examples: FSM Implementation