3.2.2 FSM的简化