[工学]编译原理chapter5.pptVIP

本章重点 语法制导定义 S属性定义 L属性定义 语法制导的翻译方案设计 语法制导定义和翻译方案的关系 自底向上实现L属性的SDD 语法制导的翻译 5.1 语法制导定义 5.2 SDD的求值顺序 5.3 语法制导的翻译方案 第五章 语法制导的翻译 翻译的任务 首先是语义分析和正确性检查，若正确，则翻译成中间代码或目标代码。 基本思想 语法结构具有规定的语义 根据翻译的需要设置文法符号的属性，以描述语法结构的语义。 例如，一个变量的属性有类型，层次，存储地址等。表达式的属性有类型，值等。 属性值的计算和产生式相联系。随着语法分析的进行，执行属性值的计算，完成语义分析和翻译的任务。 5.1 语法制导定义 1. 语义分析的任务 语义检查 例：类型、运算、维数、越界 语义处理 例：变量的存储分配 例：表达式的求值 例：语句的翻译（中间代码的生成） 总目标：生成等价的中间代码 2. 代码结构 计算学科：对信息（数据表示）描述和变换算法的系统研究 变换：源、目标以及源与目标的对应关系 语句的代码结构 语句分类： 说明语句——符号表的查填 可执行语句——指令代码 3. 典型处理方法（1） 对应每一个产生式编制一个语义子程序，当一个产生式获得匹配时，调用相应的语义子程序实现语义检查与翻译 E→E1 + T E.val:=E1.val+T.val T→T1 * F T.val:=T1.val*F.v