北京工业大学编译原理课件第六章 属性文法与语法制导翻译.ppt

第6章属性文法与语法制导翻译 主要内容 语法制导翻译概述 属性文法 综合属性与继承属性 S_属性文法 L_属性文法 翻译模式 6.1 语法制导翻译概述 语法制导翻译的概念描述 在进行语法分析的同时，完成相应的语义处理 E→E1 + E2 E.val:=E1.val+E2.val 语法结构具有规定的语义 ？？如何根据被识别出的语法成分进行语义处理，有哪些工作要做 1. 语义分析的任务 语义检查 例如：类型、运算、维数、越界 语义处理 例如：变量的存储分配、表达式的求值、语句的翻译 总目标 生成等价的(中间)代码 2. 代码结构 朴素理解：我们编写的程序在如何工作？ 计算学科：对信息（数据表示）描述和变换算法的系统研究 变换：源、目标以及源与目标的对应关系 3. 典型处理方法(1/3) 对应每一个产生式编制一个语义子程序，当一个产生式获得匹配时，调用相应的语义子程序实现语义检查与翻译 E→E1 + T E.val:=E1.val+T.val T→T1 * F T.val:=T1.val*F.val F →id F.val:=id.val 适应在完成归约的时候进行 3. 典型处理方法(2/3) 在产生式的右部的适当位置，插入相应的语义动作，按照分析的进程，执行遇到的语义动作 D → T { L.in := T.type } L T → int { T.type := integer } T → real { T.type := real } L → { L1.in := L.in }L1,id{…} L → id{…} 适应在进行推导时完成 3. 典型处理方法(3/3) 对应语法基本分析方法 Top-down：派生过程中完成 Bottom-up：归约时完成 语义 语法成分的语义可以看成是相应文法符号的属性，通过属性的计算，来完成翻译 6.2 属性(Attribute)文法 属性文法是Knuth在1968年提出的 属性文法的特点 是一种接近形式化的语义描述方法 长于描述静态语义、短于描述动态语义 每个语法符号有相应的属性符号 每个产生式有相应的计算属性的规则 属性变量:=属性表达式 属性文法举例 产生式 属性（计算）规则/语义规则 1. 属性文法的定义 三元组：Ａ＝（Ｇ，Ｖ，Ｆ） Ｇ 是上下文无关文法 Ｖ 属性的有穷集 Ｆ 关于属性的计算规则 属性及其计算规则 语义信息作为终结符和非终结符的属性 语义分析为产生式相关的属性计算：每个产生式设置语义规则，描述各属性的关系——计算规则 2. 属性的设定 根据文法符号的语义，为文法符号设置属性，用来表示文法符号的语义 终结符使用单词的属性 （id.val） 保留字：if, begin, function,…… 常数：40.12, 232, 80, “TCP/IP” 标识符：sum, tcc, id 语法变量根据实际需要设定属性 表达式E：E.type， E.val 例6-1 计算器的属性文法 L → E E → E1 + T | T T → T1 * F | F F → ( E ) | digit 例6-1 计算器的属性文法（续） L → E E → E1 + T E → T T → T1 * F T → F F → ( E ) F → digit 例6-2 说明语句的属性文法 说明语句的文法 D → T L T → int T → real L → L1,id L → id 例6-2 说明语句的属性文法 D → T L T → int T → real L → L1,id L → id 3. 属性分类 E → E1 + T E.val := E1.val + T.val E → T E.val := T.val T → T1 * F T.val := T1.val * F.val T → int T.type := ‘integer’ 3. 属性分类——继承属性 设A→X1X2…Xn为一个产生式，Xi的属性 Xi.in=f(c,c1,c2,…,ci-1) c,c1,c2,…,ci-1是A, X1，X2，…，Xi-1的属性 如： L → L1,id L1.in := L.in 中的L.in 这种属性叫做继承(Inherited)属性 3. 属性分类——继承属性 A→X1X2…Xn Xi.in=f(c,c1,c2,…,ck) 3. 属性分类——综合属性 设 A→X1X2…Xn 为一个产生式 A.s=f(c1,c2,…,ck) c1,c2,…,ck是X1，X2，…，Xn的属性和A的继承属性 A.s是根据其子结点的属性值计算出来的 如：例6-1 E.val、T.type 这种属性叫做综合(Synthesize