下面具體介紹DFA的化簡演算法： （1） 首先將DFA M的狀態劃分出終止狀態集K1和非終止狀態集K2。 K＝K1∪K2 由上述定義知，K1和K2是不等價的。 （2） 對各狀態集每次按下面的方法進一步劃分，直到不再產生新的劃分。 設第i次劃分已將狀態集劃分為k組，即： K＝K1(i)∪K2(i)∪…∪Kk(i) 對於狀態集Kj(i)（j=1,2,…,k）中的各個狀態逐個檢查，設有兩個狀態Kj’、 Kj’’∈Kj(i)，且對於輸入符號a，有： F（Kj"，a）＝Km F（Kj""，a）＝Kn 如果Km和Kn屬於同一個狀態集合，則將Kj’和Kj’’放到同一集合中，否則將Kj’和Kj’’分為兩個集合。 （3） 重複第（2）步，直到每一個集合不能再劃分為止，此時每個狀態集合中的狀態均是等價的。 （4） 合併等價狀態，即在等價狀態集中取任意一個狀態作為代表，刪去其他一切等價狀態。 （5） 若有無關狀態，則將其刪去。 根據以上方法就將確定有限自動機進行了簡化，而且簡化後的自動機是原自動機的狀態最少的自動機。
下面具體介紹DFA的化簡演算法： （1） 首先將DFA M的狀態劃分出終止狀態集K1和非終止狀態集K2。 K＝K1∪K2 由上述定義知，K1和K2是不等價的。 （2） 對各狀態集每次按下面的方法進一步劃分，直到不再產生新的劃分。 設第i次劃分已將狀態集劃分為k組，即： K＝K1(i)∪K2(i)∪…∪Kk(i) 對於狀態集Kj(i)（j=1,2,…,k）中的各個狀態逐個檢查，設有兩個狀態Kj’、 Kj’’∈Kj(i)，且對於輸入符號a，有： F（Kj"，a）＝Km F（Kj""，a）＝Kn 如果Km和Kn屬於同一個狀態集合，則將Kj’和Kj’’放到同一集合中，否則將Kj’和Kj’’分為兩個集合。 （3） 重複第（2）步，直到每一個集合不能再劃分為止，此時每個狀態集合中的狀態均是等價的。 （4） 合併等價狀態，即在等價狀態集中取任意一個狀態作為代表，刪去其他一切等價狀態。 （5） 若有無關狀態，則將其刪去。 根據以上方法就將確定有限自動機進行了簡化，而且簡化後的自動機是原自動機的狀態最少的自動機。