确定有限状态自动机最小化維基百科,自由的 encyclopedia 在自动机理论(计算机科学的一个分支)中,确定有限状态自动机最小化是将给定的确定有限状态自动机(DFA, Deterministic Finite Automaton)改造为等价且拥有最少状态的DFA的过程。这里,两个DFA等价意味着他们识别相同的正则语言。各自动机理论的教材中,已经给出了若干已知的最小化算法。[1] 确定有限状态自动机 (DFA)的一个例子,状态c对任何输入串都和状态d与e有相同的行为。类似地,状态a和b是等价的。这个DFA没有不可达状态。 等价的最小DFA,等价状态都被合并成了一个。
在自动机理论(计算机科学的一个分支)中,确定有限状态自动机最小化是将给定的确定有限状态自动机(DFA, Deterministic Finite Automaton)改造为等价且拥有最少状态的DFA的过程。这里,两个DFA等价意味着他们识别相同的正则语言。各自动机理论的教材中,已经给出了若干已知的最小化算法。[1] 确定有限状态自动机 (DFA)的一个例子,状态c对任何输入串都和状态d与e有相同的行为。类似地,状态a和b是等价的。这个DFA没有不可达状态。 等价的最小DFA,等价状态都被合并成了一个。