本文關(guān)鍵詞：編譯程序構(gòu)造，由筆耕文化傳播整理發(fā)布。

編譯原理-編譯程序構(gòu)造實(shí)踐教程 相關(guān)資料

插圖：②語(yǔ)法分析。詞法分析時(shí)識(shí)別開(kāi)各個(gè)符號(hào)之后，由語(yǔ)法分析部分根據(jù)程序設(shè)計(jì)語(yǔ)言的語(yǔ)法規(guī)則，識(shí)別出各個(gè)語(yǔ)法成分，，*終識(shí)別出完整的程序。在識(shí)別各類語(yǔ)法成分的同時(shí)，也就檢查了語(yǔ)法的正確性。當(dāng)識(shí)別出是語(yǔ)法上正確的程序時(shí)，生成相應(yīng)的內(nèi)部中間表示（通常是語(yǔ)法分析樹(shù)或其他內(nèi)部中間表示），如果存在錯(cuò)誤，則給出相應(yīng)的報(bào)錯(cuò)信息。完成語(yǔ)法分析的部分稱為語(yǔ)法分析程序，或稱為識(shí)別程序。概括起來(lái)，語(yǔ)法分析程序的功能是識(shí)別出各個(gè)語(yǔ)法成分，生成相應(yīng)的內(nèi)部中間表示，同時(shí)進(jìn)行語(yǔ)法正確性的檢查。③語(yǔ)義分析。編譯程序繼語(yǔ)法分析之后進(jìn)行語(yǔ)義分析，即基于語(yǔ)法分析時(shí)輸出的內(nèi)部中間表示，依據(jù)各個(gè)語(yǔ)法成分的含義進(jìn)行語(yǔ)義分析。由于一個(gè)程序通常由數(shù)據(jù)結(jié)構(gòu)和控制結(jié)構(gòu)兩部分組成，必然對(duì)這兩部分進(jìn)行語(yǔ)義分析。對(duì)于數(shù)據(jù)結(jié)構(gòu)，語(yǔ)義分析部分進(jìn)行的語(yǔ)義分析工作是確定類型和類型檢查，確切地說(shuō)，檢查標(biāo)識(shí)符是否有定義，確定標(biāo)識(shí)符所對(duì)應(yīng)數(shù)據(jù)對(duì)象的數(shù)據(jù)類型等屬性，檢查運(yùn)算的合法性及運(yùn)算分量數(shù)據(jù)類型的一致性；對(duì)于控制結(jié)構(gòu)，根據(jù)程序設(shè)計(jì)語(yǔ)言所規(guī)定的語(yǔ)義，對(duì)它們進(jìn)行相應(yīng)的語(yǔ)義處理，這時(shí)可以生成相應(yīng)的目標(biāo)代碼。例如，對(duì)于一個(gè)加法運(yùn)算，當(dāng)檢查了兩個(gè)運(yùn)算分量都有定義，它們都能進(jìn)行加法運(yùn)算（運(yùn)算是合法的），且兩個(gè)運(yùn)算分量的類型一致（相容）時(shí)，可以生成進(jìn)行加法的目標(biāo)代碼。不言而喻，執(zhí)行語(yǔ)義分析的同時(shí)，還進(jìn)行一些語(yǔ)義檢查，當(dāng)然這只是靜態(tài)語(yǔ)義檢查，即在編譯時(shí)刻所能進(jìn)行的語(yǔ)義檢查，例如，檢查是否從循環(huán)外通過(guò)控制轉(zhuǎn)移語(yǔ)句把控制轉(zhuǎn)入循環(huán)體。在運(yùn)行時(shí)刻才能進(jìn)行的語(yǔ)義檢查稱為動(dòng)態(tài)語(yǔ)義檢查，如檢查數(shù)組元素下標(biāo)是否越界，以及指針變量是否有初值等，自然不在語(yǔ)義分析時(shí)刻進(jìn)行。為了改進(jìn)目標(biāo)程序質(zhì)量，語(yǔ)義分析時(shí)可能不生成目標(biāo)代碼，而是生成另外一種內(nèi)部中間表示，或稱中間表示代碼。代碼優(yōu)化階段就是基于這種中間表示代碼進(jìn)行優(yōu)化，然后再?gòu)膬?yōu)化了的中間表示代碼生成目標(biāo)代碼。語(yǔ)義分析工作通常由語(yǔ)義子程序完成。完成語(yǔ)義分析的部分稱為語(yǔ)義分析程序。概括起來(lái)，語(yǔ)義分析程序的功能是確定類型、類型檢查、識(shí)別含義與相應(yīng)語(yǔ)義處理，以及其他一些靜態(tài)語(yǔ)義檢查等。④代碼優(yōu)化。代碼優(yōu)化指的是為改進(jìn)目標(biāo)程序質(zhì)量而在編譯時(shí)刻進(jìn)行的各項(xiàng)優(yōu)化工作。代碼優(yōu)化通�；谡Z(yǔ)義分析部分生成的中間表示代碼進(jìn)行，把它變換成功能相同、但功效更高的優(yōu)化了

  本文關(guān)鍵詞：編譯程序構(gòu)造，由筆耕文化傳播整理發(fā)布。