Büchi自动机的优化综述

• 作者: 袁志斌
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Büchi自动机 模拟 左右语言
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 基金项目论文
• 页码范围: 32-34,88
• 分类号: TP3
• 字数: 5520字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2010.06.011

摘要

对Büchi自动机进行优化是提高基于自动机的模型检测效率的重要手段.对直接模拟关系、延迟模拟关系和公平模拟关系的概念,进行了比较,并探讨了基于这些模拟关系的自动机优化方法.基于左右语言的优化是完全基于自动机理论的优化方法,于是深入探讨了利用左右语言对Büchi自动机的优化绍方法.最后对未来的研究方向作了简要的介绍.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁志斌	广东商学院信息学院	6	18	2.0	4.0