詞法分析小結 -總結

時間：2024-11-23 11:38:53 總結我要投稿

相關推薦

詞法分析小結 -總結

詞法分析是編譯器工作的第一階段，它的工作就是從輸入（源代碼）中取得token，以作為parser（語法分析）的輸入，一般在詞法分析階段都會把一些無用的空白字符（white space，即空格、tab和換行）以及注釋剔除，以降低下一步分析的復雜度，詞法分析器一般會提供一個gettoken()這樣的方法，parser可以在做語法分析時調用詞法分析器的這個方法來得到下一個token，所以詞法分析器并不是一次性遍歷所有源代碼，而是采取這種on-demand的方式：只在parser需要時才工作，并且每次只取一個token，

詞法分析小結

。

詞法分析小結 -總結

token和lexeme
　　首先，token不等于lexeme。token和lexeme的關系就類似于面向對象語言中“類”和“實例”（或“對象”）之間的關系，這個用中文不知該如何解釋才好，比如語言中的變量a和b，它們都屬于同一種token：identifier，而a的lexeme是”a”，b則是”b”，而每個關鍵字都是一種token。token可以附帶有一個值屬性，例如變量a，當調用詞法分析器的gettoken()時，會返回一個identifier類型的token，這個token帶有一個屬性“a”，屬性可以是多樣的，例如表示數字的token可以帶有一個表示數字值的屬性，它是整型的。

如下代碼：

int age = 23;

int count = 50;

可以依次提取出8個token：int(值為”int”)，id(值為”age”)，assign(值為”=”)，number(值為整型數值23)，int(值為”int”)，id(值為”count”)，assign(值為”=”)，number(值為50)

正則表達式
　　正則表達式可以用來描述字符串模式，例如我們可以用digit+來表示number的token，其中digit表示單個數字（這里說正則表達式并不完全和實現的正則引擎所識別的正則表達式等價，這里只是為了描述問題而已）。

然而像c語言的的多行注釋，用正則表達式來描述就比較麻煩，此時更傾向于直接用有窮自動機（finite automaton）來描述，因為用它來描述非常直觀且很容易。

有窮自動機(finite automata)
　　有窮自動機也稱為有限狀態機，狀態在輸入字符的作用下發生遷移，因此，它可以用來識別token，也因此，我們只要畫得出fa，之后再用代碼實現這個fa，那詞法分析器也就差不多弄好了。

有窮自動機分確定性（dfa）和非確定性（nfa）兩種，如果對于同一個輸入，只會有一個確定的狀態遷移路線，也就是只有一個確定的“下一狀態”，那就是dfa，否則就是nfa。

因為dfa對于同一個輸入只有一個確定的下一狀態，所以詞法分析器當然優先采用它，那nfa拿來干嘛用呢？nfa用來做描述用時更方便，我們可以非常迅速地畫出一個識別token的nfa圖，但要想直接畫出個dfa那要動不少腦筋。

根據正則表達式構建nfa
　　如上所述，nfa更容易畫出，那我們就先研究nfa，在定義token時，我們可以用正則表達式來描述它，因為正則表達式干這行很合適，例如一個digit+就可以描述數字，多方便。因此，我們需要根據正則表達式畫出與之等價的nfa。而這個算法非常簡單，就是tompson’s construction，這個書上寫得很清楚了。

將nfa轉化成dfa（nfa的確定化）
　　對于計算機來說，面對同一個輸入，如果有多個下一狀態，那計算機就不清楚要轉到哪個狀態，所以我們期望能從正則表達式得到dfa，而不是nfa，因為這樣將來編程實現時比較自然（同一輸入有確定的一個下一狀態），而幸運的是，每個nfa都可以轉化成dfa。為什么nfa可以轉化成dfa？因為fa(finite automata)中的狀態都是我們自己畫的，只要fa能正確的識別token，那就ok了，也就是，如果nfa和dfa都可以達到一樣的效果：識別token，那其它的我們就不管了。

而nfa確定化的本質，就是將原來多個狀態改用一個狀態來表示，新狀態其實是一個狀態集，比如nfa中狀態s1在輸入a下可以到達s2和s3，那么，在dfa中，就把s2和s3合起來認為是一個狀態。還有一個問題是nfa中的空轉換（?輸入），如果s1在?輸入下可以到達s2，就表示s1可以無條件地轉移到s2，那s1和s2自然可以合并起來作為dfa中的一個狀態，于是nfa轉dfa的算法也就好理解了。但首先得先定義下空閉包（?-closure）：

?-closure: 狀態s的?-closure即s經過?轉換可以到達的狀態集，s的?-closure永遠都會包含s自身，

總結

《詞法分析小結》(http://www.solarmaxlimited.com)。一個狀態集的?-closure即該狀態集中各狀態的?-closure的集合。

nfa確定化算法(subset construction)：

從開始狀態開始，計算它的?-closure，得到狀態集set1，然后考察set1在某個輸入a的作用下會遷移到哪些狀態，把這些狀態集中到一起，再求這個集合的?-closure，得到set2，這樣我們就可以畫兩個圈，一個標上set1，另一個標上set2，然后畫條從set1到set2的線把這兩圓連起來，在線上標上a，這樣dfa的一部分就畫好了，然后我們再考察set1在其它輸入下可以達到的狀態集的?-closure，同樣畫圈連線，以此類推，最后的時候，把包含了原nfa中終結狀態（final state或acceptin state）的dfa狀態（在轉換后的dfa中，每個狀態都是包含了一個或多個原nfa中的狀態）標記為終結狀態。

最小化dfa狀態數
　　由一個正則表達式，可以構建出一個等價的nfa，然后nfa又可以確定化成dfa，似乎到此事情搞完了，但事實證明（有時也可以顯然地發現），最終構成的這dfa似乎有些復雜，有些狀態好像很冗余，呃，是的，dfa是可以最小化的。

最小化dfa狀態數算法的思想是，在開始時，假設是最完美的情況，整個dfa只有兩個狀態，一個終結狀態，一個開始（難道不能有只有一種狀態的情況么？如果原dfa中存在非終結狀態，當然就不能，非終結態怎么可以和終結態合并！），當然，這是假設，不是真的，所以這個算法，就是在這個完美的假設下，對假設進一步考察，如果發現有些狀態不能合并，那就分出來吧，這樣重復考察，直到發現沒有狀態會不能合并時，就做完了，此時不也正是最優解么。

嗯，就是這個，所以一開始，我們把所有非終結狀態用一個袋子包起來，看成是一個狀態，把所有終結狀態也用另一袋子包起來，也看成是一個狀態，注意，別把原dfa中各狀態間的連線給扯斷了。然后，我們抽出其中一個袋子，考察其中的各個狀態，我們準備好所有的可能輸入，然后逐個拿出來測試，如果該袋子中的所有狀態在某個輸入a下達到的狀態正好都在這個袋子中，那就說明，這個袋子中的這些狀態“在目前看來”是可以合并的，也就是說，如果在所有的可能輸入的作用下，袋子中的狀態達到的新狀態正好也都是這個袋子中的狀態，那它們就可以合并。而如果，在某個輸入a下，袋子中的一部分狀態會轉移到同一袋子中的其它狀態，而有幾個叛徒，假設是s1和s2，竟然在輸入a下會遷移到其它袋子中的狀態，那就說明s1和s2是不可以和其它轉移到同一袋子中的狀態合并的，于是，我們就把s1和s2裝成一個新袋子，從原袋子中分出來，當然，現在還是假設s1和s2可以合并，所以才把它們裝一起，究竟真的可不可以合并呆會還要再考察。考察完輸入a，還要接著考察其它的可能輸入。如果在考察完一個袋子后，發現所有狀態在a輸入下都可以轉移到本袋子中的狀態，那么最后的dfa它們就被合并成一個狀態，并且在a輸入下，它有一個到自身的狀態遷移。

實現詞法分析器
　　對于一個token，比如用來表示數字的token：num，我們可以用正則表達式描述它，然后畫出nfa，再將nfa轉化成dfa，再最小化dfa的狀態，但是我們的詞法分析器是不是分析一個token，所以我們要把所有類型的token的dfa合并成一個dfa，這樣，這個dfa也就可以識別語言的所有token了，如果在某一連串的輸入下，dfa達不到終結狀態，那就說明源代碼有錯誤了。

我用c#實現了一個用于《compiler construction: principles and practice》中tiny語言的詞法分析器，tiny語言有關鍵字：if, then, else, end, repeat, until, read, write，有操作符+，-，*，/，=，<，(，)，;，:=（全角逗號不算，是文章的分隔符）這10個，然后其余的token有number (一或多個數字)和identifier(一或多個字母)，其dfa如下圖：

上面這張圖和《編譯原理及實踐》中的一樣，其中的帶中括號的輸入說明這個輸入是lookahead的，在匹配成功后是要重新放回輸入流中的，比如識別num時，如果發現個非digit的，那就說明識別到了一個number，但是最后識別的那個非digit字符是要放回輸入流的，因為它要留著下一次識別。

其中從start到done的那個other，指所有非white space，非{，非letter，非digit，也非:的字符，它有可能是合法的+, *, /這些，也可能是不合法的其它輸入，如#號。因此，done這個狀態只是說本次gettoken已經結束，狀態機是有可能因為不合法的輸入而進入done狀態的。究竟從start到done是因為合法的，如+號導致的，還是由不合法的如#號導致的，將在代碼中實現判斷，但可以肯定的是，不管是+號還是#號作用于start狀態，都會進入done狀態。

【詞法分析小結 -總結】相關文章：

分析評議階段小結02 -總結08-11

分析評議階段個人小結 -總結08-24

國土資源局先進性教育分析評議階段工作小結 -總結08-02

國土資源局先進性教育分析評議階段工作小結 -總結07-21