(资料图片)

1、 在自动机理论（计算机科学的一个分支）中，确定有限状态自动机最小化是将给定的确定有限状态自动机（DFA, Deterministic Finite Automaton）改造为等价且拥有最少状态的DFA的过程。

2、这里，两个DFA等价意味着他们识别相同的正则语言。