基于语言等价关系化简Buchi自动机的算法研究

摘要：

为了缓解模型检测中的状态空间爆炸问题,使其在安全领域获得更大应用范围,本文基于Bchi自动机语言等价关系定义了语言等价类概念,并提出了化简自动机状态和迁移的有效算法。该算法利用了模拟等价关系来计算语言等价关系,并将自动机的商和语言等价类相结合,从而获得比现有算法更好的化简效果。

关键词： 模型检测 自动机 状态空间爆炸 语言等价

作者: 易锦 郭涛 黄永刚 张普含

作者单位: 中国信息安全测评中心 北京 100085

会议类型: 国内会议

会议名称: 第二届信息安全漏洞分析与风险评估大会

会议地点: 北京

会议语种:中文

页码: 316-322

在线出版日期: 2009-12-01（万方平台首次上网日期，不代表论文的发表时间）