有限状态自动机模型相关论文