确定有限状态自动机最小化 在自动机理论计算机科学的一个分支中确定有限状态自动机最小化是将给定的确定有限状态自动机DFA Deterministic Finite Automaton改造为等价且拥有最少状态的DFA的过程这里两个DFA等价意味着他们识别相同的正则语言各自动机理论的教材中已经给出了若干已知的最小化算法