8.3.2 极简状态机的模型设计