確定有限狀態自動機最小化

在自動機理論 （ 計算機科學的一個分支 ） 中 ， 確定有限狀態自動機最小化是將給定的確定有限狀態自動機 （ DFA, Deterministic Finite Automaton ） 改造爲等價且擁有最少狀態的DFA的過程 。 這裏 ， 兩個DFA等價意味着他們識別相同的正則語言 。 各自動機理論的教材中 ， 已經給出了若干已知的最小化算法 。