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

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

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

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