2.1.2 有限状态机的建模例子