6.2.7 Worked Examples: FSM States and Transitions