編譯原理——確定有窮自動機的化簡-分割法

文章目錄 3.4.4 確定有窮自動機的化簡 1.化簡的有窮自動機的定義 2.分割法 3.The End 3.4.4 確定有窮自動機的化簡 1.化簡的有窮自動機的定義 一個沒有多餘狀態並且沒有兩個狀態是等價的有窮自動機。 多餘狀態（無用狀態）：從該自動機的開始狀態出發，任何輸入串也不能到達的那個狀態 等價狀態： 兩個狀態必須同時爲可接受狀態（終態）或者不可接受狀態（非終態）——一致性條件 對於所有的

>>阅读原文<<