2.2.2 输入输出有限状态机的建模例子