【正文】 L? L1, id L? id 表 帶繼承屬性 語 義 規(guī) 則 := T. type := integer T. type := real := 。 ? 用繼承屬性來表示程序設(shè)計(jì)語言結(jié)構(gòu)中的 上下文依賴關(guān)系 很方便。第六章 屬性文法和語法制導(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è)文法符號（終結(jié)符或非終結(jié)符）配備若干相關(guān)的“值”（稱為屬性）。 ☆ 表 一個(gè)簡單臺(tái)式計(jì)算器的屬性文法 8+5*2n L ? E n print () E ? E1 + T := E1 .val + E ? T := T ? T1 * F := * T ? F := F? (E) := F ? digit := digit L E n T E T F digit T + * F F digit .lexval = 8 .val = 8 帶注釋的語法樹 (結(jié)點(diǎn)帶有語義信息 ) .val = 8 .val = 8 .val = 18 .lexval = 5 .val = 5 .val = 5 .val = 10 .lexval = 2 .val = 2 繼承屬性 ? 在語法樹中，一個(gè)結(jié)點(diǎn)的 繼承屬性 由此結(jié)點(diǎn)的父結(jié)點(diǎn) 和／或 兄弟結(jié)點(diǎn) 的某些屬性確定