020 .3.2 数据有限状态机的基本概念