編譯原理第三章（二）

第三章 詞法分析算法 3.3.3非肯定有限自動機（NFA） 不一樣：初態集  定義：對於任何兩個有限自動機M和M’，若是L（M）=L（M‘），則稱M與M‘等價。 對於每一個NFA,存在DFA。 證實算法（重點！！！） 1.NFA M， 對M的狀態轉換圖進行改造。三條規則 2.把上述NFA肯定化，採用子集法。I，Ia，Ib 3.3.4正規文法與有限自動機 正規文法G，有限自動機M L（G）=L（M）

>>阅读原文<<