2.3.3 数据有限状态机的建模例子