確定的有窮自動機的最小化

思路： 將M的狀態集合分成一些不相交的子集，使任何不同的兩個子集的狀態都是可區別的，而同一子集中的任何兩個狀態都是等價的。最後，在每個子集選出一個代表，同時消去其他等價狀態。 簡化算法--分割法  1.把DFA狀態分割成兩個狀態S1’(終止狀態集)和S2’(非終止狀態集)。 2.對每個狀態集按下述方法進行分割： 設第i次分割把集合分割成S=S1(i)∪S2(i)∪…∪Sk(i)，檢查狀態集Sj(i

>>阅读原文<<