第章语法制导翻译.pdf

Compilers：Principles and Techniques Chapter 8.1 Syntax-Directed Translation Fall 2010 li weihua Department of Computer Science technology, Informational school, Yunnan University 1 语法制导的语义处理基础 语义处理概述 引例 属性文法 基于属性文法的语义处理 翻译模式 2 语义处理概述 语义处理在编译程序中的逻辑位置 词法分析 语义处理 语法分析 静态语义分析 中间代码生成 中间代码优化（可选） 目标代码生成 目标代码优化（可选） 3 语义处理概述 语义处理在编译程序中的逻辑位置 − 两项工作：静态语义分析，中间/ 目标代码生成 静态语义分析：主要工作如类型检查、名字的作用域分 析等 中间或目标代码生成：从语法分析的结果生成中间代 码（个别编译程序可能直接生成目标代码） − 跨分析和综合两个阶段 分析阶段：理解源程序，挖掘源程序的语义 综合阶段：生成与源程序语义上等价的目标程序 − 跨编译程序的前端和后端 4 语义处理概述 语义处理技术 − 语法制导的语义处理 编译程序的设计中，语义分析和中间（目标）代码生 成的实现多采用语法制导的语义处理（许多时候直接 称之为语法制导的翻译 ） 语法制导语义处理技术的基础是应用属性文法 （本讲的主要内容） 5 引例 属性文法 n n n − 识别语言 L = { a b c ⏐n ≥ 1} ? 产生式 语义规则/条件谓词 S →ABC {(A.num=B.num) and (B.num=C.num) } A →A a { A.num := A1.num + 1 } 1 A →a { A.num := 1 } B →B b { B.num := B .n