模拟的概念、计算及在自动机最小化上的应用

• 作者: 徐正权 王能超 袁志斌
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 模拟 自动机 最小化
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 软件工程
• 页码范围: 264-267
• 页数: 4页
• 分类号: TP3
• 字数: 5372字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2007.07.073

摘要

对Büchi自动机进行优化是提高基于自动机的模型检测效率的重要手段.本文对直接模拟关系,延迟模拟关系和公平模拟关系的概念,算法进行了比较,并探讨了基于这些模拟关系的自动机优化方法.最后对未来的研究方向作了简要的介绍.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王能超	华中科技大学计算机科学与技术学院	58	640	17.0	23.0
2	徐正权	华中科技大学计算机科学与技术学院	29	301	10.0	16.0
3	袁志斌	华中科技大学计算机科学与技术学院	3	40	1.0	3.0