摘要：本文指出了现有DFA最小化算法的缺陷,并给出使用这些算法对DFA限制条件以及将不满足限制条件DFA等价转换成满足限制条件的DFA一般方法;在研究状态等价的充分条件基础上,提出了一种新的适用任何DFA的最小化算法及其算法的正确性证明。

关键词：dfa 算法 最小化 

单位：华中科技大学计算机科学与技术学院; 湖北武汉430074