【正文】 – 注：遍與階段的含義毫無(wú)關(guān)系。 ? 代碼優(yōu)化：改善代碼的時(shí)空效率，如常數(shù)表達(dá)式求值，公共子表達(dá)式優(yōu)化，循環(huán)語(yǔ)句中的不變表達(dá)式外提，削減運(yùn)算強(qiáng)度等等。 標(biāo)識(shí)符 a 算符 (賦值 ) = 標(biāo)識(shí)符 a 算符 (加 ) + 整數(shù) 2 界符 。 ? 廣義看法：程序變換， 翻譯器 (translator) C++?C。 2020/6/28 15 分析－綜合模型 AnalysisSynthesis Model ? Two parts of pilation: – Analysis : Depose Source into an intermediate representation – Synthesis: Target program generation from representation 2020/6/28 16 The context of a piler Preprocessor Skeletal source program 2020/6/28 17 Analysis of the source program ? Analysis consists of three phases –詞法分析 Lexical analysis / Linear analysis / Scanning –語(yǔ)法分析 Syntax analysis / Hierarchical analysis / Parsing –語(yǔ)義分析 Semantic analysis 2020/6/28 18 詞法分析 (Lexical analysis) ? 詞法分析程序又稱 掃描程序 。 Var rate: real。主要包括代碼優(yōu)化、代碼生成等。 – 注：在內(nèi)存許可情況下，還是遍數(shù)盡可能少些為好。 后端 包括依賴于目標(biāo)機(jī)器的階段。 c = arr1 * 10。 2020/6/28 13 解釋和編譯 ? 解釋 – 以源程序作為輸入，不產(chǎn)生目標(biāo)程序，一邊解釋一邊執(zhí)行。 執(zhí)行翻譯的軟件，稱為翻譯程序。 ? 功能：讀入由詞法分析程序識(shí)別出的符號(hào)，根據(jù)給定語(yǔ)法規(guī)則，識(shí)別出各個(gè)語(yǔ)法結(jié)構(gòu)（檢查語(yǔ)法的正確性） ,并生成另一種內(nèi)部表示。 根據(jù)源程序的語(yǔ)法結(jié)構(gòu)和語(yǔ)義信息，生成目標(biāo)代碼。 ? 多遍掃描的缺點(diǎn) – 編譯時(shí)間較長(zhǎng)。遍數(shù)多一些，編譯程序的邏輯結(jié)構(gòu)會(huì)較清晰，對(duì)機(jī)器資源的要求也較低，然而，編譯速度也隨之降低。 （ 3）語(yǔ)義分析：確定各語(yǔ)法成分之間的對(duì)應(yīng)關(guān)系和一致性，如標(biāo)識(shí)符的作用域、類型匹配等等。 a=a+2。 Compiler Source program Target program Error message 2020/6/28 10 程序的等價(jià) ? 程序的等價(jià) ：若兩個(gè)程序 P1和 P2所允許的輸入集合相同，且對(duì)相同的輸入，均產(chǎn)生相同的輸出，則稱程序 P1和 P2等價(jià)。 ? 輸入：源程序中的字符流 ? 輸出： tokens(或稱為 words) 2020/6/28 19 詞法分析 舉例 Pascal賦值語(yǔ)句 position := initial + rate * 60 would be grouped into the following tokens: 1. Identifier position 2. Assignment symbol := 3. Identifier initial 4. Plus sign + 5. Identifier rate 6. Multiplication sign * 7. Number 60 分隔這些記號(hào)的空格被刪除。 … position := initial + rate*60 2020/6/28 28 Semantic analysis inserts a conversion from integer to real. := position + * rate 60 initial inttoreal 插入語(yǔ)義處理結(jié)點(diǎn)的語(yǔ)法樹(shù) 2020