021 .3.3 数据有限状态机的建模例子