概率有限状态自动机相关论文