|
|||||
|
|
| Büchi自动机的优化综述 | |
| 作者姓名： | 袁志斌 |
| 作者单位： | 广东商学院信息学院,广东,广州,510320 |
| 基金项目： | 国家自然科学基金，广东省自然科学基金，广东省教育厅自然科学基金重点项目，广东商学院校级课题 |
| 摘 要： | 对Büchi自动机进行优化是提高基于自动机的模型检测效率的重要手段.对直接模拟关系、延迟模拟关系和公平模拟关系的概念,进行了比较,并探讨了基于这些模拟关系的自动机优化方法.基于左右语言的优化是完全基于自动机理论的优化方法,于是深入探讨了利用左右语言对Büchi自动机的优化绍方法.最后对未来的研究方向作了简要的介绍. |
| 关 键 词： | Büchi自动机 模拟 左右语言 |
| 本文献已被 维普 万方数据 等数据库收录！ | |