編譯原理課件(1)(已修改)
2024-10-29 02:28 本頁面
【正文】 語法制導(dǎo)翻譯 ?靜態(tài)語義分析 ?這一步才真正開始考慮程序設(shè)計語言的實際意義 ?靜態(tài)語義分析的作用：檢查出源程序中的靜態(tài)語義錯誤 并且將語義正確的語句翻譯成中間代碼 ?該過程中通常使用的方法是語法制導(dǎo)翻譯 1 2 第四章 語法制導(dǎo)翻譯生成中間代碼 語法制導(dǎo)翻譯是處理語義的基本方法，它以語法分析為基礎(chǔ)，在語法分析得到語言結(jié)構(gòu)的結(jié)果時，對附著于此結(jié)構(gòu)的語義進行處理，如計算表達式的值、生成中間代碼等。 主要內(nèi)容包括： 1. 語法制導(dǎo)翻譯的基本概念 2. 中間代碼簡介 3. 符號表簡介 4. 典型聲明語句與可執(zhí)行語句的翻譯 3 語法制導(dǎo)翻譯簡介 ? 語法與語義 1. 語法與語義的關(guān)系 語法是指語言的結(jié)構(gòu)、即語言的“樣子”；語義是指附著于語言結(jié)構(gòu)上的實際含意 ，即語言的“意義”。 ① 語義不能離開語法獨立存在； ② 語義遠(yuǎn)比語法復(fù)雜； ③ 同一語言結(jié)構(gòu)可包含多種含意，不同語言結(jié)構(gòu)可表示相同含意； ④ 語法與語義之間沒有明確的界線。 [例 1] 貓吃老鼠與老鼠吃貓，曬被子與曬太陽 (語法正確不一定語義正確 ) 4 語法制導(dǎo)翻譯簡介 2. 語義分析的兩個作用 ① 檢查是否結(jié)構(gòu)正確的句子所表示的意思也合法； ② 執(zhí)行規(guī)定的語義動作，如： ? 表達式求值 ? 符號表填寫 ? 中間代碼生成等 3. 語義分析的方法 語法制導(dǎo)翻譯 基本思想：將語言結(jié)構(gòu)的語義以屬性的形式賦予代表此結(jié)構(gòu) 的文法符號，而屬性的計算以語義規(guī)則的形式賦予由文法符 號組成的產(chǎn)生式，在語法分析推導(dǎo)或者規(guī)約的每一步驟中， 通過語義規(guī)則實現(xiàn)對屬性的計算。 5 語法制導(dǎo)翻譯簡介 ? 屬性與語義規(guī)則 1. 語法制導(dǎo)翻譯的基本思想 為每個產(chǎn)生式配上語義規(guī)則并且在適當(dāng)?shù)臅r候執(zhí)行這些規(guī)則 具體方法： ① 將文法符號所代表的語言結(jié)構(gòu)的意思，用附著于該文法符號的 屬性 表示； ② 用 語義規(guī)則 規(guī)定產(chǎn)生式所代表的語言結(jié)構(gòu)之間的關(guān)系（即屬性之間的關(guān)系），即用語義規(guī)則實現(xiàn)屬性計算。 語義規(guī)則的執(zhí)行：在語法分析的適當(dāng)時刻（如推導(dǎo)或歸約）執(zhí)行附著在對應(yīng)產(chǎn)生式上的語義規(guī)則，以實現(xiàn)對語言結(jié)構(gòu)語義的處理，如計算、查填符號表、生成中間代碼、發(fā)布出錯信息等。 6 語法制導(dǎo)翻譯簡介 2. 屬性的表示 .attr 如： （值）， （類型）， （代碼序列）， （存儲空間） 屬性在程序設(shè)計中的具體表示可以根據(jù)實際情況采用適當(dāng) 的數(shù)據(jù)結(jié)構(gòu)或者程序代碼來實現(xiàn) 3. 語義規(guī)則定義 定義 對于產(chǎn)生式 A→α ，其中 α是由文法符號 X1X2...Xn組成的序列，它的 語義規(guī)則 可以表示為 ()所示關(guān)于屬性的函數(shù)： b := f(c1, c2, ..., ck) () 7 語法制導(dǎo)翻譯簡介 A→α 的語義規(guī)則 b := f(c1, c2, ..., ck) () 語義規(guī)則中的屬性存在下述性質(zhì)與關(guān)系。 ① 若 b是 A的屬性， c1, c2, ..., ck是 α中文法符號的屬性，或者A的其它屬性，則稱 b是 A的 綜合屬性 。 ② 若 b是 α中某文法符號 Xi的屬性， c1, c2, ...,
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1