第6章 有限状态自动机模型