結果 : extended finite state machine example