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

摘要：

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

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

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金70271069

在线出版日期：2007-10-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：264-267