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

Simulations for Minimizing Automata

作　　者：徐正权[1] 袁志斌[1] 王能超[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,武汉430074

出　　处：《计算机科学》2007年第7期264-267,共4页Computer Science

基　　金：国家自然科学基金(70271069)的支持

摘　　要：对B櫣chi自动机进行优化是提高基于自动机的模型检测效率的重要手段。本文对直接模拟关系,延迟模拟关系和公平模拟关系的概念,算法进行了比较,并探讨了基于这些模拟关系的自动机优化方法。最后对未来的研究方向作了简要的介绍。Optimizing Buchi automata is an important step in efficient model checking for linear-time specification. In this paper we compare among three notions of simulation： direct, delay, and fair. We study simulation relations as a tool for minimizing automata. Finally, some research directions for future work are also discussed.

关 键 词：模拟 自动机 最小化 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]