編譯原理6-1-屬性文法(已修改)
2025-01-04 14:17 本頁面
【正文】 第六章 屬性文法和語法制導(dǎo)翻譯 屬性文法 基于屬性文法的處理方法 S屬性文法的自下而上計(jì)算 L屬性文法和自頂向下翻譯 自下而上計(jì)算繼承屬性 語義分析 ? 靜態(tài)語義分析 ?類型檢查、控制流檢查 、一致性檢查 ?名字的作用域分析 ? 動(dòng)態(tài)語義分析 ?棧溢出 ?數(shù)組越界 a[i] 編譯中的語義處理 ? 靜態(tài)語義分析或靜態(tài)審查 ? 執(zhí)行真正的翻譯 ?翻譯成中間表示形式 ?翻譯成目標(biāo)代碼 語義形式形式化 ? 詞法分析 －正規(guī)式，正規(guī)文法，有窮自動(dòng)機(jī) ? 語法分析 －上下文無關(guān)文法 ? 語義分析 －難于形式化描述 ?屬性文法 屬性文法 ? 屬性文法（屬性翻譯文法） 是在上下文無關(guān)文法的基礎(chǔ)上，為每個(gè)文法符號(hào)（終結(jié)符或非終結(jié)符）配備若干相關(guān)的“值”（稱為屬性）。 ? 屬性 ：類型、值、代碼序列、符號(hào)表內(nèi)容 … 產(chǎn) 生 式 語 義 規(guī) 則 L ? E n print () E ? E1 + T := E1 .val + E ? T := T ? T1 * F := * T ? F := F? (E) := F ? digit := 表 一個(gè)簡單臺(tái)式計(jì)算器的屬性文法 ?屬性與變量一樣，可以進(jìn)行計(jì)算和傳遞。 ?屬性加工的過程即是 語義處理 的過程。 屬性的計(jì)算規(guī)則 L的虛屬性 換行符 屬性通常分為兩類 ? 綜合屬性 用于“自下而上”傳遞信息 ? 繼承屬性 用于“自上而下”傳遞信息 或者在兄弟之間傳遞信息 語義規(guī)則的形式 ? 在一個(gè)屬性文法中，對(duì)應(yīng)于每個(gè)產(chǎn)生式 A→ α都有一套與之相關(guān)聯(lián)的語義規(guī)則， 每條規(guī)則的形式為 b := f(c1， c2， … ， ck) 屬性 b依賴于屬性 c1， c2， … ， ck （ 1）或者 b是 A的一個(gè) 綜合屬性 , 并且 c1， c2， … ， ck 是產(chǎn)生式 右邊 文法符號(hào)的屬性； （ 2） 或者 b是產(chǎn)生式
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1