編譯原理總復(fù)習(xí)2016

1、教學(xué) 1 1 題型及分值題型及分值 2 2 教材各章知識(shí)點(diǎn)概覽教材各章知識(shí)點(diǎn)概覽 3 3 計(jì)算題題型計(jì)算題題型1 題型一、判斷題 （15=5）二、填空題 （110=10）三、選擇題 （25=10）四、簡(jiǎn)答題 （本題共35分）:其中包括兩個(gè)名詞解釋。五、計(jì)算題 （10+15+15=40） 返回2 教材各編譯程序概論編譯程序概論 1文法和語(yǔ)言文法和語(yǔ)言 2詞法分析與有限自動(dòng)機(jī)詞法分析與有限自動(dòng)機(jī) 3自上而下語(yǔ)法分析方法自上而下語(yǔ)法分析方法 4自下而上語(yǔ)法分析方法自下而上語(yǔ)法分析方法 5語(yǔ)法制導(dǎo)翻譯和語(yǔ)義分析語(yǔ)法制導(dǎo)翻譯和語(yǔ)義分析 6符號(hào)表符號(hào)表 7代碼優(yōu)化代碼優(yōu)化 81、編譯（1）基本概念，（2）

2、編譯過(guò)程的五個(gè)階段，各階段的任務(wù)及其依循的規(guī)則、描述工具分別是什么？除了這個(gè)5個(gè)階段之外，還應(yīng)該有哪兩個(gè)重要內(nèi)容？五個(gè)邏輯階段：詞法分析、語(yǔ)法分析、語(yǔ)義分析和中間代碼產(chǎn)生、代碼優(yōu)化和目標(biāo)代碼生成。除了這五個(gè)階段之外，編譯程序的每個(gè)階段都涉及到表格管理和錯(cuò)誤處理這兩個(gè)重要內(nèi)容。1、編譯（3）編譯錯(cuò)誤的種類從編譯程序的角度來(lái)看，源程序中的錯(cuò)誤主要分為：語(yǔ)法錯(cuò)誤 和 語(yǔ)義錯(cuò)誤兩類錯(cuò)誤。（4）高級(jí)程序設(shè)計(jì)語(yǔ)言翻譯的兩種方式以及它們的區(qū)別高級(jí)程序設(shè)計(jì)語(yǔ)言的翻譯主要有兩種方式：編譯方式 和 解釋方式。區(qū)別：是否生成目標(biāo)代碼。2、文法（1）基本概念、（2）對(duì)文法G，能夠給出給定句型或句子的最左推導(dǎo)及最右推導(dǎo)

3、序列，并畫(huà)出其對(duì)應(yīng)的語(yǔ)法分析樹(shù)。（3）能夠計(jì)算某文法的語(yǔ)言。（4）理解文法的二義性，能夠說(shuō)明一個(gè)文法是二義的。2、文法（5）形式語(yǔ)言分類(chomsky,1956)u0型 普通（短語(yǔ)）文法 u1型 上下文有關(guān)文法u2型 上下文無(wú)關(guān)文法u3型 線性（正規(guī)、正則）文法3型2型1型0型3、詞法分析（1）基本概念、（2）詞法分析器的任務(wù)及其輸出形式任務(wù)：自左至右逐個(gè)字符地對(duì)源程序進(jìn)行掃描，按語(yǔ)言的構(gòu)詞規(guī)則識(shí)別出一個(gè)個(gè)單詞，把作為字符串的源程序改造為單詞符號(hào)串的中間程序。輸出形式：二元式 （ 單詞種別， 單詞符號(hào)的屬性值）（3）單詞符號(hào)的種類關(guān)鍵字、標(biāo)識(shí)符、常數(shù)、運(yùn)算符、界符3、詞法分析（4）正規(guī)文法、

4、正規(guī)式、有限自動(dòng)機(jī)之間的相互等價(jià)性定理（5）正規(guī)式 NFA DFA 最小化DFA4、自上而下（1）語(yǔ)法分析的方法根據(jù)語(yǔ)法分析樹(shù)建立方向的不同，將語(yǔ)法分析分成兩類：自上而下語(yǔ)法分析方法和自下而上語(yǔ)法分析方法。（2）自上而下分析的基本思想窮舉試探法（3）自上而下分析面臨的兩個(gè)最主要的問(wèn)題左遞歸、回溯（4）自上而下分析的基本方法 LL（1）分析法、遞歸下降分析器4、自上而下（5）左遞歸（直接、間接）和回溯的消除u 直接左遞歸的消除u 間接左遞歸的消除 排序 代入及消除左遞歸 化簡(jiǎn)12m12nPP|P|P| 12n12mPP |P |PPP |P |P | 4、自上而下（5）左遞歸（直接、間接）和回溯

5、的消除u 回溯的消除：提左公因子12n12mA | | | | |12m12nAA | | |A | | 4、自上而下（6）LL(1)的含義LL(1)中的第一個(gè)L表示從左至右掃描輸入串，第二個(gè)L表示最左推導(dǎo)，1表示分析時(shí)每一步只需向前查看一個(gè)符號(hào)。（7）LL(1)分析器的組成部分輸入緩沖區(qū)、分析棧、分析表、總控程序（8）LL(1)分析的四種動(dòng)作成功、匹配、推導(dǎo)、報(bào)錯(cuò)4、自上而下（9）LL(1)文法的判定條件文法不含左遞歸。文法中每一個(gè)非終結(jié)符A的各個(gè)產(chǎn)生式的候選首符集兩兩不相交。即，若則 對(duì)文法中的每個(gè)非終結(jié)符A，若它存在某個(gè)候選首符集包含，則如果一個(gè)文法G滿足以上條件，則稱該文法G為。n21

6、|Aj)(i)FIRST()FIRST(jiFOLLOW(A)FIRST(A)4、自上而下（10）LL(1)分析方法假設(shè)要用非終結(jié)符A進(jìn)行匹配，面臨的輸入符號(hào)為a，關(guān)于A的所有產(chǎn)生式為則LL(1)分析算法如下：若 ，則指派 去執(zhí)行匹配任務(wù)。若a不屬于任何一個(gè)候選首符集，則v若屬于某個(gè) 且 ，則讓A與自動(dòng)匹配；v否則，a的出現(xiàn)是一種語(yǔ)法錯(cuò)誤。根據(jù)LL(1)文法的條件，每一步這樣的工作都是確信無(wú)疑的。n21|A)FIRST(aii)FIRST(iFOLLOW(A)a4、自上而下（11）FIRST集和FOLLOW集的構(gòu)造（12）預(yù)測(cè)分析表的構(gòu)造5、自下而上（1）基本概念、（2）自下而上分析的基本思想

7、及其核心基本思想：移進(jìn)-歸約核心問(wèn)題：可歸約串的界定（3）自下而上分析的基本方法u算符優(yōu)先分析法：以最左素短語(yǔ)作為可歸約串，非規(guī)范歸約uLR分析法：以句柄作為可歸約串，規(guī)范歸約5、自下而上（4）給定一個(gè)文法的句型，找出其短語(yǔ)、直接短語(yǔ)、句柄、素短語(yǔ)和最左素短語(yǔ)方法：首先畫(huà)出句型的語(yǔ)法分析樹(shù)，然后根據(jù)語(yǔ)法樹(shù)尋找。u每棵子樹(shù)的葉子結(jié)點(diǎn)自左至右排列構(gòu)成一個(gè)相對(duì)于子樹(shù)根的短語(yǔ)。u每棵簡(jiǎn)單子樹(shù)（只有父子兩代）的葉子結(jié)點(diǎn)自左至右排列構(gòu)成一個(gè)直接短語(yǔ)。u最左簡(jiǎn)單子樹(shù)的葉子結(jié)點(diǎn)自左至右排列構(gòu)成一個(gè)句柄。u將所有短語(yǔ)中至少含一個(gè)終結(jié)符的短語(yǔ)，按長(zhǎng)度從小到大排列，長(zhǎng)度最短的認(rèn)定為素短語(yǔ)，然后考察其余長(zhǎng)度較大的，若

8、不包含更小的素短語(yǔ)，則也為素短語(yǔ)。位于句型中最左邊的素短語(yǔ)即為最左素短語(yǔ)。5、自下而上（5）算符文法與算符優(yōu)先文法算符文法：任意產(chǎn)生式右部不含兩個(gè)連續(xù)的非終結(jié)符，（.QR.）算符優(yōu)先文法：算符文法中任意兩個(gè)終結(jié)符之間至多只含“”、“”、“=”三種關(guān)系之一。算符優(yōu)先關(guān)系是有序的，但不滿足對(duì)稱性和傳遞性，即對(duì)于文法G的終結(jié)符a、b和c：如果aa；如果存在a=b和b=c，不一定有b=a或a=c；如果存在ab和bc，也不能得出ac。5、自下而上（6）FIRSTVT集與LASTVT集的計(jì)算FIRSTVT：若有產(chǎn)生式Pa或 PQa，則aFIRSTVT(P)；：若aFIRSTVT(Q)且有產(chǎn)生式 PQ，則a

9、FIRSTVT(P) ；：反復(fù)使用以上兩條規(guī)則，直到FIRSTVT(P)不再增大為止。LASTVT：若有產(chǎn)生式Pa或 PaQ，則aLASTVT(P)；：若aLASTVT(Q)且有產(chǎn)生式 PQ，則aLASTVT(P) ；：反復(fù)使用以上兩條規(guī)則，直到LASTVT(P)不再增大為止。()|,TNF IR ST V TPaPaPQ aaVQV或()|,TNLASTVTPaPaPaQ aVQV或5、自下而上（7）算符優(yōu)先關(guān)系表的構(gòu)造：對(duì)形如Pab或PaQb的產(chǎn)生式，有a=b；：對(duì)形如PaR的產(chǎn)生式，若有bFIRSTVT(R)，則ab；：對(duì)于語(yǔ)句括號(hào)#，有#=#，且若aFIRSTVT(S)和bLASTVT

10、(S)，則有#。5、自下而上（8）算符優(yōu)先分析算法最左素短語(yǔ)的尋找依據(jù)：5、自下而上（9）算符優(yōu)先分析算法算符優(yōu)先分析的特點(diǎn)：u算符優(yōu)先分析一般并不等價(jià)于規(guī)范歸約u無(wú)法使用單非產(chǎn)生式(如：TF)進(jìn)行歸約。u算符優(yōu)先分析比規(guī)范歸約過(guò)程要快，跳過(guò)了所有的單非產(chǎn)生式。u可能將本來(lái)不是句子的輸入串誤認(rèn)為是句子。（10）LR分析器的基本思想及其組成部分基本思想：記住歷史、展望未來(lái)、定奪現(xiàn)在組成部分：輸入緩沖區(qū)、分析棧（狀態(tài)、符號(hào)）、分析表（動(dòng)作、轉(zhuǎn)換）、總控程序5、自下而上（11）四類LR分析表LR分析表是LR分析器的核心，主要有以下幾種分析表：LR(0)表、 SLR(1)表（即簡(jiǎn)單LR表）、LR(1)

11、表（即規(guī)范LR表）、LALR表（即向前LR表）。其中，L代表自左至右掃描輸入串，R代表構(gòu)建最右推導(dǎo)的逆過(guò)程，1代表分析時(shí)每一步至多向前查看一個(gè)符號(hào)，S代表簡(jiǎn)單的。（12）LR分析器的四種動(dòng)作移進(jìn)、歸約、接受、報(bào)錯(cuò)（13）LR分析器的兩種沖突移進(jìn)歸約 沖突 和 歸約歸約 沖突5、自下而上（14）四類不同的項(xiàng)目5、自下而上（15）四類LR分析表的構(gòu)造拓廣文法構(gòu)造LR(0)（LR(0)和SLR分析表）或LR(1)（LR(1)和LALR分析表）項(xiàng)目集規(guī)范簇構(gòu)造相應(yīng)分析表（16）LR文法的特點(diǎn)uLR文法肯定是無(wú)二義的，一個(gè)二義文法決不會(huì)是LR文法。uLR分析法比預(yù)測(cè)分析法更加一般化。uLR(0)文法一定

12、是SLR文法，SLR文法和LALR文法一定是LR(1)文法。6、語(yǔ)法制導(dǎo)翻（1）基本概念 、（2）屬性分類綜合屬性：用于“自下而上”地傳遞信息。繼承屬性：用于“自上而下”地傳遞信息。終結(jié)符號(hào)只有綜合屬性，由詞法分析器提供。非終結(jié)符既可有綜合屬性也可有繼承屬性，文法開(kāi)始符號(hào)的所有繼承屬性作為屬性計(jì)算前的初始值。（3）語(yǔ)義規(guī)則的表示6、語(yǔ)法制導(dǎo)翻（4）常見(jiàn)的中間代碼的幾種形式后綴式（逆波蘭表示式）圖表示法u抽象語(yǔ)法樹(shù)uDAG圖三地址代碼u四元式u三元式u間接三元式6、語(yǔ)法制導(dǎo)翻（5）后綴式（逆波蘭式）的表示把運(yùn)算量（操作數(shù)）寫(xiě)在前面，把運(yùn)算符寫(xiě)在后面（后綴）的一種表達(dá)式表示方法。其歸納定義如下：

13、如果E是一個(gè)變量或常數(shù)，則E的后綴式是E自身。 如果E是E1 op E2 形式的表達(dá)式，op是二元操作符，則E的后綴式為E1E2op，其中E1，E2分別是E1和E2的后綴式。若E是（E1）形式的表達(dá)式，則E的后綴式就是E1的后綴式。6、語(yǔ)法制導(dǎo)翻（6）將以下語(yǔ)句翻譯為四元式序列 表達(dá)式（算術(shù)及布爾） 賦值語(yǔ)句 IF語(yǔ)句 WHILE語(yǔ)句（7）參數(shù)傳遞的幾種方式傳地址、 傳值、傳名、得結(jié)果7、符（1）符號(hào)表的基本組成、基本操作組成：一張符號(hào)表的每一項(xiàng)入口包含：名字欄和信息欄 操作：查表、填表、訪表、更新、刪除（2）內(nèi)情向量的基本表項(xiàng)在編譯過(guò)程中，碰到數(shù)組的說(shuō)明時(shí)，通常將數(shù)組的有關(guān)信息記錄在一個(gè)內(nèi)情向量表中，這些信息包括：維數(shù)、首地址、各維界差、各維上界、各維下界、數(shù)組元素類型、地址不變量。8、代（1）基本概念（2）代碼優(yōu)化遵循的原則 等價(jià)原則、有效原則、合算原則（3）優(yōu)化分類根據(jù)優(yōu)化對(duì)象所涉及的程序范圍劃分為：局部?jī)?yōu)化、循環(huán)優(yōu)化和全局優(yōu)化。 （4）常見(jiàn)的優(yōu)化的幾種方法刪除公共子表達(dá)式、復(fù)寫(xiě)傳播、刪除無(wú)用代碼、合并已知量、代碼外提、強(qiáng)度削弱、刪