%0 Journal Article
%T Simulations for Minimizing Automata<br>模拟的概念、计算及在自动机最小化上的应用
%A XU Zheng-Quan
%A YUAN Zhi-Bin
%A WANG Neng-Chao
%A <br>徐正权
%A 袁志斌
%A 王能超
%J 计算机科学
%D 2007
%I 
%X 对Bachi自动机进行优化是提高基于自动机的模型检测效率的重要手段。本文对直接模拟关系，延迟模拟关系和公平模拟关系的概念，算法进行了比较，并探讨了基于这些模拟关系的自动机优化方法。最后对未来的研究方向作了简要的介绍。
%K Simulation
%K Automata
%K Minimization<br>模拟
%K 自动机
%K 最小化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1E8759907DE65478B4554E35AB9591EE&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=DF92D298D3FF1E6E&sid=7ABC4505E3960D2B&eid=866F8A6B640835A7&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=16