014 .1.2 有限状态机的建模例子