《编译原理》总复习要点.pptVIP

* 第四章 语法制导翻译生成中间代码 本章讨论程序设计语言的静态语义分析，并且在语法分析的基础上生成中间代码，采用的基本方法是语法制导翻译。 与前两章词法分析和语法分析不同的是，词法分析和语法分析的讨论侧重于理论，而本章则侧重于结合程序设计语言的实际例子讨论语言结构的具体翻译方法和一些实用的技术。 主要内容 1 语法制导翻译与中间代码 2 符号表的组织 3 声明语句的翻译 4 可执行语句的翻译 * 1 语法制导翻译与中间代码 语法与语义：语法和语义描述语言的不同方面、二者之间没有严格界线、语义形式化描述的困难性； 属性：用属性表示语义特征（语义值），属性的计算和属性之间的依赖关系； 语法制导翻译：为产生式配上“语义规则”并在适当的时刻执行；语义规则的两种形式； 分析方法与翻译方案：以语法分析为基础，分析树的作用； 中间代码：为什么生成中间代码，中间代码的特征，各种形式的中间代码及它们之间的关系，最常用中间代码形式。 * 3 声明语句的翻译 定义与声明：类型定义与变量声明，过程定义与过程声明 变量声明：符号表信息的填写 过程声明： 左值与右值 参数传递：参数传递的不同形式 名字的作用域：静态作用域与最近嵌套原则 声明中作用域信息的保存 符号表的条目与信息的存储（关键字＋内容） 作用域信息的保存（栈结构） 线性表与散列表 2 符号表的组织 * 4 可执