【正文】 ,:=][S’id4：： En求其求其 LR(1)的分析表，并判斷的分析表，并判斷 id孫麗云第 4章 是一個(gè) LR[0]項(xiàng)，稱為 “心 ”；而 a則是一個(gè)記號(hào)（先行），稱為 “向前搜索符 ”。在在 SLR(1)方法方法 中，若項(xiàng)目集中，若項(xiàng)目集 Ik含有含有 A???，則在狀態(tài)，則在狀態(tài) k時(shí)時(shí)，僅當(dāng)輸入符號(hào)為，僅當(dāng)輸入符號(hào)為 a∈FOLLOW(A )時(shí)，才用時(shí)，才用 ” A??””進(jìn)行歸約，這樣在分析表進(jìn)行歸約，這樣在分析表 ACTION部分狀態(tài)部分狀態(tài) k行，所有行，所有b不屬于不屬于 FOLLOW(A)的欄目將空出來(lái)。孫麗云第 4章 bybyby0T2*7F10(8)j4.(c)Ii,a)=子表和子表和 goto子表子表方法：方法：1.id(3)FOLLOW(B)= ?■.F?E?E+TTFF?F?(3)SLR(1)分析表分析表孫麗云第 4章 |Areturn輸出產(chǎn)生式輸出產(chǎn)生式 A?if置置 ip指向指向 w$的第一個(gè)符號(hào)；的第一個(gè)符號(hào)；輸出：若輸出：若 wr3|屬于 Ik，則對(duì)任何終結(jié)符 a（包括終結(jié)符 $），置 ACTION[k,a]為 ” rj” （注： j是產(chǎn)生式 A??的編號(hào)，而不是狀態(tài)集的狀態(tài)號(hào)）；（ 3）若項(xiàng)目 S’→SSS→n 3 4根據(jù)右圖某文法識(shí)別活前綴的 DFA判斷該文法是否為L(zhǎng)R(0)文法Date 63信息學(xué)院 )SS 34 5Date 62信息學(xué)院 En +n0 12 E→E+n構(gòu)造識(shí)別文法所有規(guī)范句型活前綴構(gòu)造識(shí)別文法所有規(guī)范句型活前綴 DFA的方法的方法Date 60信息學(xué)院 X??I(3)(2)S’?S?E’→E(S)Date 55信息學(xué)院 a1(T?N)* 為為 文法的文法的 句型句型 ,=孫麗云（（ 1）簡(jiǎn)單直接左遞歸的消除）簡(jiǎn)單直接左遞歸的消除M[N,T]。語(yǔ)法分析■自上而下語(yǔ)法分析過(guò)程自上而下語(yǔ)法分析過(guò)程 參照 P68→。孫麗云第 4章 0statementtI→factor→→ 孫麗云第 4章 $,+,,a]中中 。例：例： A?exp )aBD|?可去掉！不是 LL(1)文法。B?Aa(3)eLL(1)文法的要求：一個(gè)上下文無(wú)關(guān)文法 G是 LL(1)文法，當(dāng)且僅當(dāng)對(duì) G中每個(gè)非終結(jié)符 A的任何兩個(gè)不同的規(guī)則 A?→if語(yǔ)法分析1)將文法將文法 Gstmt語(yǔ)法分析將文法將文法 G：： |?（ 2） S?aAB語(yǔ)法分析■FOLLOW(T’)=(， iT’→*FT’|εstatementfactoredFirst(mulop)={*}Follow(expr)={$,+,, factoraddopβ是一個(gè)產(chǎn)生式 ,則把 FIRST(β)－－ {?}加至FOLLOW(B) 中 。孫麗云第 4章 Dstatement語(yǔ)法分析2)求文法求文法 G的的 →→ FIRST集合集合 (Simple(7)(2)D?m|FIRST(α){a使用方括號(hào) [a]表示 a的出現(xiàn)可有可無(wú)，它用來(lái)表示可供選擇的符號(hào)串。|→→ termexpExample將文法將文法 G：： A’A’Aα 1|εε例：將文法例：將文法 G：： ε解解 ：： exp∴∴ cad?L(G(E))S=cad檢查檢查 識(shí)別串 w=cabd是否是該文法的句子。孫麗云第 4章 語(yǔ)法分析語(yǔ)法分析程序的功能是以詞法分析器生成的單詞符號(hào)序列作為輸入，根據(jù)語(yǔ)言的語(yǔ)法規(guī)則（文法），識(shí)別出各種語(yǔ)法成分，并在分析過(guò)程中進(jìn)行語(yǔ)法檢查，檢查所給單詞符號(hào)序列是否是該語(yǔ)言的文法的一個(gè)句子。語(yǔ)法分析例：已知符號(hào)串例：已知符號(hào)串 S=cad孫麗云第 4章 c A da bZ完成進(jìn)一步推導(dǎo)完成進(jìn)一步推導(dǎo) A?abG[Z]:Date 5信息學(xué)院 AtermAα2termexp’T/Fstatementifstmt孫麗云第 4章 （ 2）相同左部的規(guī)則，其中某一右部能推出 ε串。aβ， 若 X??也是一條產(chǎn)生式 ,則把 ?也加到 FIRST(X)中 . X?Y… 是一個(gè)產(chǎn)生式且 Y?N,則把 FIRST(Y)中的所有非 ?元 素都加到 FIRST(X)中 。B?bd|c|εFIRST集合集合G:(4)→/expr→→ First(term)={(,number} ifstatement)statement → ifstmt | otherifstmt → if (exp) statement elsepartelsepart → else statement | εexpFirst(T)=…… Aa…… ， a∈∈ T}A∈∈ N,算法：Date 18信息學(xué)院 exprterm *,)0First(stmtseq’)={。(， i},?First(α)LL(1)文法判斷舉例文法判斷舉例分別判斷下列兩個(gè)文法是否為 LL(1)文法：（ 1） A?aB|dB?a|exp■提取左因子規(guī)則提取左因子規(guī)則例：例： 將文法將文法 Gelse■β)?語(yǔ)法分析■B?bd|c|ε語(yǔ)法分析■?B167。(exp)遞歸下降分析法遞歸下降分析法遞歸下降分析法的基本思想：遞歸下降分析法的基本思想：將一個(gè)非終結(jié)符將一個(gè)非終結(jié)符 A的文法規(guī)則看作是的文法規(guī)則看作是 ““ 識(shí)別識(shí)別 A的一個(gè)過(guò)程的一個(gè)過(guò)程”” 的定義。預(yù)測(cè)分析器的總控程序?qū)τ诓煌?LL(1)文法都是相同的，而預(yù)測(cè)分析表對(duì)于不同的 LL(1)文法是不相同的。ε}$,+,,→ termmulop→→ |ifM[N,T] if other stmt seq’stmtseq’stmt→sM[N,T] ?！＆畔姆ㄖ械淖筮f歸或提取左因子；■→→ B→Bb|d判斷 ”bdbac”以及 ”bdbab”是否是所給文法定義的語(yǔ)言。Date 52信息學(xué)院 ai ■S→→ n 該文法有該文法有 3個(gè)產(chǎn)生式和個(gè)產(chǎn)生式和 8個(gè)項(xiàng)目個(gè)項(xiàng)目 :n A??語(yǔ)法分析■B?go(I,?E→孫麗云第 4章 E39。SS→→S例： S?(S)|a狀態(tài)序號(hào) ACTION GOTO終結(jié)符和 $ 非終結(jié)符0……n分析表格式Date 65信息學(xué)院 ?|s5s810S??S1s?prefix（活前綴（活前綴 ））例例 x中，中， ε課堂練習(xí)課堂練習(xí)Date 70信息學(xué)院 ?(1)E?T(6)T孫麗云E??FI10idI4(I4*I7)FidE?(2)?E+action[i,a]$]=+,)}ACTION GOTO+ * ( ) id $ E T F0 S4 S5 1 2 31 S6 ACC2 R2 S7 R2 R23 R4 R4 R4 R44 S4 S5 8 2 35 R6 R6 R6 R66 S4 S5 9 37 S4 S5 108 S6 S119 R1 S7 R1 R110 R3 R3 R3 R311 R5 R5 R5 R5Date 77信息學(xué)院 0E1+6F3(13)shiftshift優(yōu)越，它可以解決更多的沖突。V語(yǔ)法分析假設(shè)有 LR[1]項(xiàng)目 [A???X?， a]， 其中 X是任意符號(hào)（終結(jié)符或非終結(jié)符），那么 X就有一個(gè)到項(xiàng)目 [A??X??， a]的轉(zhuǎn)換。語(yǔ)法分析解 :(1)n(2).id,$][S?id.2：： S孫麗云第 4章 ??Date 82信息學(xué)院 :=id∈∈ L(G)?Sn，請(qǐng)使用恰當(dāng)，請(qǐng)使用恰當(dāng)?shù)淖韵露戏治龇椒ㄟM(jìn)行語(yǔ)法分析，并判斷的自下而上分析方法進(jìn)行語(yǔ)法分析，并判斷n+n∈∈ L(G)?(3)SLR(1)分析表分析表(2)識(shí)別文法活前綴的識(shí)別文法活前綴的 DFA解解 :)(reducereducereduce0id5(3)A?VNA?aB?T?*FI2:I9:Date 75信息學(xué)院 }將將 b移進(jìn)棧移進(jìn)棧將將 ?歸約為歸約為 A將將 ?歸約為歸約為 B解決方法：解決方法： 設(shè)當(dāng)前輸入符號(hào)為設(shè)當(dāng)前輸入符號(hào)為 x,1. 若若 x= b, 則移進(jìn)則移進(jìn) 。A?=??E?+T?(E)??T*FT?F出現(xiàn)問(wèn)題：由該文法識(shí)別活前綴的 DFA看的出來(lái)，有的有效項(xiàng)目集中存在著 移進(jìn)－歸約 沖突，不能用LR(0)分析方法進(jìn)行分析。T孫麗云第 4章 例：利用 LR(0)法分析上頁(yè)例 x中 acd是否是文法的句子。把把 A和和 goto[s?,A]先后入棧；先后入棧；thenB?cB6r5語(yǔ)法分析■LR(0)分析表的構(gòu)造分析表的構(gòu)造LR(0)分析表包含兩個(gè)子表： ACTION表 和 GOTO表假定 項(xiàng)目集規(guī)范族 C={I0,I1,…,I n}，令每個(gè)項(xiàng)目集 Ik的下標(biāo) k作為分析器的狀態(tài)，兩個(gè)子表的構(gòu)造過(guò)程如下：（ 1）若項(xiàng)目 A??S→→ES39。E39。nE→E?.是是 G的產(chǎn)生式的產(chǎn)生式，則項(xiàng)目，則項(xiàng)目 BA??語(yǔ)法分析在文法產(chǎn)生式右部某個(gè)位置標(biāo)有在文法產(chǎn)生式右部某個(gè)位置標(biāo)有 ‘.’nE→ES)SSSSan優(yōu)點(diǎn)：對(duì)文法的限制少的多，分析速度快；缺點(diǎn)：構(gòu)造 LR分析器的工作量大，實(shí)現(xiàn)困難。 2）短語(yǔ)）短語(yǔ) ：： 每棵子樹(shù)的葉組成短語(yǔ)每棵子樹(shù)的葉組成短語(yǔ)孫麗云第 4章 自頂向下的分析自頂向下的分析例：設(shè)有文法 G： S→cAd 。孫麗云第 4章 α?β滿足：Select(A?→的預(yù)測(cè)分析表。ε}First(stmt)={s}Follow(stmtsequence)={$}Follow(stmt)={。文法文法(1)else孫麗云→ ε9addopε} exp addop term∣termaddop →→ +語(yǔ)法分析●→→ 遞歸下降分析算法的 優(yōu)點(diǎn) ：簡(jiǎn)單、易實(shí)現(xiàn)；缺點(diǎn) ：對(duì)文法要求高、時(shí)空效率低。exp )aBD|?（ 1）檢查文法，并 消除左遞歸及提取左因子。εDate 33信息學(xué)院 自上而下語(yǔ)法分析方法不確定的分析方法 （回溯分析法）確定的分析方法（要求：無(wú)左遞歸；無(wú)回溯）確定的自上而下的語(yǔ)法分析方法遞歸下降分析方法LL(1)分析法（也稱預(yù)測(cè)分析法）都要求文法是LL(1)文法Date 31信息學(xué)院 →(|termstatement左遞歸左遞歸exp?β)First集合和集合和 Follow集合的比較集合的比較 First集合中不可能存在 $符號(hào)， Follow集合中不可能存在 ε；；通常、通常 Follow集合是為非終結(jié)符定義的，而集合是為非終結(jié)符定義的，而First集合可以為非終結(jié)符、終結(jié)符和符號(hào)串定集合可以為非終結(jié)符、終結(jié)符和符號(hào)串定義；義； Follow集合通常在產(chǎn)生式的集合通常在產(chǎn)生式的 “右邊右邊 ”計(jì)算，而計(jì)算，而First集合通常在集合通常在 “左邊左邊 ”計(jì)算。FOLLOW(E’)={$,孫麗云第 4章 孫麗云第 4章 mulop→FOLLOW 集合集合 (the$∈∈ FOLLOW(A)■ε}(3)孫麗云第 4章 孫麗云第 4章 (9)addop→i■mopB?bd|c|ε孫麗云■(T?N)* }孫麗云第 4章 statement]exp ?例：例： ifstmt ?|termα n|確定的自上而下分析法對(duì)文法要求： (1)無(wú)左遞歸； (2)無(wú)回溯Date 6信息學(xué)院 左遞歸改成右遞歸左遞歸改成右遞歸 ———— 簡(jiǎn)單直接左遞歸的消除簡(jiǎn)單直接左遞歸的消除語(yǔ)法分析遞歸下降法遞歸下降法LL(1)分析法分析法回溯分析方法（不確定的分析法）回溯分析方法（不確定的分析法）預(yù)測(cè)分析方法預(yù)測(cè)分析方法(確定的分析法確定的分析法 )LR(0) parsingSLR(1) parsingLR(1) parsingLALR(1) parsing自頂向下分析方法自頂向下分析方法從