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

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