语法制导翻译与属性文法编译原理一.pdf

第6章 语法制导翻译 与属性文法 语法制导翻译概述 属性文法 综合属性与继承属性 S_属性文法 L_属性文法 翻译模式 2013/8/22 Thursday 1 6.1 语法制导翻译概述 语法制导翻译的概念描述 在进行语法分析的同时，完成相应的语义处理 E→E + E E.val:=E .val+E .val 1 2 1 2 语法结构具有规定的语义 ？？如何根据被识别出的语法成分进行语 义处理，有哪些工作要做 2013/8/22 Thursday 2 1. 语义分析的任务 语义检查 例如：类型、运算、维数、越界 翻译 例如：变量的存储分配、表达式的求值、语句的 翻译 总目标 生成等价的(中间)代码 2013/8/22 Thursday 3 2. 代码结构 朴素理解：我们编写的程序在如何工作？ 计算学科：对信息描述（数据表示）和变换 算法的系统研究 变换：源、目标以及源与目标的对应关系  语句的代码结构（源、目标）  语句分类  说明语句——符号表的查填  可执行语句——生成指令代码 2013/8/22 Thursday 4 3. 典型处理方法(1/3) 对应每一个产生式编制一个语义子程序， 当一个产生式获得匹配时，调用相应的语 义子程序实现语义检查与翻译 E→E + T E.val:=E .val+T.val 1 1 T→T * F T.val:=T .val*F.val 1 1 F →id F.val:=id.val 适应在完成归约的时候进行 2013/8/22 Thursday 5 3. 典型处理方法(2/3) 在产生式的右部的适当位置，插入相应的 语义动作，按照分析的进程，执行遇到的 语义动作 D → T { L.in := T.type } L T → int { T.type := integer } T → real { T.type := real } L → { L .in := L.in }L ,id{…} 1 1 L → id{…} 适应在进行推导时完成 2013/8/22 Thursday 6 3. 典型处理方法(3/3) 对应语法基本分析方法 Top-down：派生过程中完成 Bottom-up ：归约时完成 语义 语法成分的语义可以用