词法分析课件.pptVIP

為什麼要採用超前搜索在程式中有一些單詞的識別經常需要多讀入一些字元才能知道哪些字元組成一個單詞。如：1DO99K＝l,102IF（5.EQ.M）I＝103DO99K＝1.104IF（5）＝55這四個語句都是正確的FORTRAN語句。語句1和2分別是DO和IF語句，它們都是以基本字開頭的，語句3和4是賦值句，它們都是以用戶自定義識別字開頭的。又如C中：a=a++;a=a+1;三、狀態轉換圖狀態轉換圖是一張有限方向圖，是設計詞法分析器的有效工具。123XY圖3.2（a）轉換圖示例一個狀態轉換圖可用於識別（或接受)一定的字串。§3.3正規運算式與有限自動機1正規式與正規集正規式也稱正則運算式。正規運算式（regularexpression）是說明單詞的模式(pattern)的一種重要的表示法（記號），是定義正規集的數學工具。定義（正規式和它所表示的正規集）：設字母表為?，輔助字母表?`={?，?，?，?，?，?，?}，1.?和?都是?上的正規式，它們所表示的正規集分別為{?}和{}；2.對任何a??，a是?上的一個正規式，它所表示的正規集為{a}；3.假定e1和e2都是?上的正規式，它們所表示的正規集分別為L(e1)和L(e2)，那麼，(e1),e1?e2,e1?e2,e1?也都是正規式,它們所表示的正規集分別為L(e1),L(e1)?L(e2),L(e1)L(e2)和(L(e1))?。4.僅由有限次使用上述三步驟而定義的運算式才是?上的正規式，僅由這些正規式所表示的集合才是?上的正規集。注意:其中“?”、“?”、“?”均為正規式運算符：2.“?”讀為“連接”；3.“?”讀為“閉包”（即，任意有限次的自重複連接）。在不致混淆時，括弧可省去，但規定算符的優先順序為“?”、“?”、“?”。連接符“?”一般可省略不寫。“?”、“?”和“?”都是左結合的。“?”讀為“或”；例子令?={a，b}，?上的正規式和相應的正規集的例子有：正規式 正規集a {a}a?b {a,b}ab {ab}(a?b)(a?b) {aa,ab,ba,bb}a? {?,a,a,……任意個a的串}正規式 正規集(a?b)? {?,a,b,aa,ab……所有由a 和b組成的串}(a?b)?(aa?bb)(a?b)?{??上所有含有兩個相繼 的a或兩個相繼的b組成 的串}正規式的等價性若兩個正規式e1和e2所表示的正規集相同,則說e1和e2等價,寫作e1=e2。例如：e1=(a?b)，e2=b?a，e1=e2又如：e1=b(ab)?,e2=(ba)?b，e1=e2e1=(a?b)?,e2=(a??b?)?，e1=e2設U,V,W為正規式，正規式服從的代數規律有：1.U?V=V?U “或”服從交換律2.U?(V?W)=(U?V)?W “或”的可結合律3.(UV)W=U(VW) “連接”的可結合律U(V?W)=UV?UW (V?W)U=VU?WU 分配律5.?U=U,U?=U ?是“連接”的恒等元素零一律6.U?U=U U?=??U?UU?… 2有限自動機有限自動機(也稱有窮自動機)能準確地識別正規集，即識別正規文法所定義的語言和正規式所表示的集合，引入有窮自動機這個理論，正是為詞法分析程式的自動構造尋找特殊的方法和工具。有窮自動機分為兩類：確定的有限自動機(DeterministicFiniteAutomata)和不確定的有限自動機(NondeterministicFiniteAutomata)。關於有限自動機我們將討論如下題目確定的有窮自動機DFA不確定的有窮自動機