編譯原理第三章詞法分析總結

知識點：

1、什麼是詞法分析？詞法分析就是將輸入的源程式從左至右進行掃瞄轉換成單詞符號並輸出。單詞符號是乙個程式語言的基本語法符號，分為關鍵字、識別符號、常數、運算子和界符。

2、表示形式：《單詞種別，單詞符號的屬性值》

單詞種別常用整數編碼來表示，比如關鍵字、運算子、界符採用一字一種編碼的方式，常數按型別分別給出編碼，識別符號同歸一種，只給乙個編碼。

3、詞法分析器的結構：

輸入快取區：詞法分析的工作的工作可以直接在這裡進行。

預處理子程式：處理掉其他不必要的成分。

掃瞄緩衝區：進行單詞符號的識別，由起點指示器和搜尋指示器組成。

4、單詞符號的識別可以採用超前搜尋、直接分析、狀態轉換圖等方法。

在進行單詞識別的過程中，檢測該單詞是什麼類別是一項十分重要的任務，在這裡就引入了超前搜尋的概念。超前搜尋就是在單詞識別過程中，向前多度幾個符號的形式，一次來準確的進行單詞的的識別。一旦確定識別到的單詞之後，需要進行掃瞄單詞的回退，來保證單詞識別工作的順利進行。

直接分析法就是先判斷語句中的第乙個字元，然後根據這個字元進行效應的操作。

狀態轉化圖是一張有限方向圖，能識別（接受）一定的符號串或單詞。它有結點、箭弧和箭弧上的標記組成。結點表示狀態，用圓圈表示，結點之間用箭弧連線，箭弧上的標記表示在射出結點下可能出現的字元或字串。

5、正規表示式：

相同特徵的字放在一起組成的集合叫做正規集，用形式化的方法來表示正規集叫做正規式。即正規式是描述單詞結構的一種形式。設l(u)，l(v)是正規集，則正規式可能為或(u|v)、連線(uv)、閉包-任意有限次自重複連線(v)*。若u和v的正規集相同，則認為二者等價，記做u=v。

正規式的性質：交換律、結合律、分配律、空·u=u。

6、形式化的狀態轉化圖叫做有限自動機。分為確定有限自動機dfa、非確定的有限自動機nfa。