摘要： 对Bachi自动机进行优化是提高基于自动机的模型检测效率的重要手段。本文对直接模拟关系，延迟模拟关系和公平模拟关系的概念，算法进行了比较，并探讨了基于这些模拟关系的自动机优化方法。最后对未来的研究方向作了简要的介绍。
徐正权 袁志斌 王能超. 模拟的概念、计算及在自动机最小化上的应用[J]. 计算机科学, 2007, 34(7): 264-267. https://doi.org/
XU Zheng-Quan, YUAN Zhi-Bin, WANG Neng-Chao （Department of Computer Science and Technology, Huazhong University of Science Technology, Wuhan 430074）. [J]. Computer Science, 2007, 34(7): 264-267. https://doi.org/
首页