第五章语法制导翻译.pptVIP

语法制导翻译 ？？为什么进行词法和语法分析 ？？用A→α进行归约表达的是什么意思 看：operand+term E→E1+T E1的值+T的值的结果作为E的值——即：取来E1的值和T的值做加法运算，结果作为E的值 E.val=E1.val+T.val 第五章 语法制导翻译 翻译的任务 首先是语义分析和正确性检查，若正确，则翻译成中间代码或目标代码。 基本思想 根据翻译的需要设置文法符号的属性，以描述语法结构的语义。 例如，一个变量的属性有类型，层次，存储地址等。表达式的属性有类型，值等。 属性值的计算和产生式相联系。随着语法分析的进行，执行属性值的计算，完成语义分析和翻译的任务。 5.1 语法制导翻译概述 语法制导翻译的概念描述 在进行语法分析的同时，完成相应的语义处理 E→E1 + E2 E.val:=E1.val+E2.val 语法结构具有规定的语义 问题：如何根据被识别出的语法成分进行语义处理？ 1. 语义分析的任务 语义检查 例：类型、运算、维数、越界 语义处理 例：变量的存储分配 例：表达式的求值 例：语句的翻译（中间代码的生成） 总目标：生成等价的中间代码 2. 代码结构 计算学科：对信息（数据表示）描述和变换算法的系统研究 变换：源、目标以及源与目标的对应关系 语句的代码结构 语句分类： 说明语句——符号表的查填 可执行语句——指令代码 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. 典型处理方法 在产生式的右部的适当位置，插入相应的语义动作，按照分析的进程，执行遇到的语义动作 D → T { L.in := T.type } L T → int { T.type := integer } T → real { T.type := real } L → { L1.in := L.in }L1,id{…} 语义——可以看成是相应文法符号的属性 适宜在进行推导时完成 语义翻译的流程 例5-5 图5－5分析树的依赖图 5.6 L属性的自底向上计算 在自底向上分析的框架中实现L属性定义的方法 它能实现任何基于LL(1)文法的L属性定义 也能实现许多（但不是所有的）基于LR(1) 的L属性定义 5.6 L属性的自底向上计算 5.6.1 删除翻译方案中嵌入的动作 E ? T R R ? + T {print (‘+’)}R1 | ? T {print (‘?’)}R1 | ? T ? num {print (num.val)} 5.6 L属性的自底向上计算 5.6.1 删除翻译方案中嵌入的动作 E ? T R R ? + T {print (‘+’)}R1 | ? T {print (‘?’)}R1 | ? T ? num {print (num.val)} 在文法中加入产生?的标记非终结符，让每个嵌入动作由不同标记非终结符M代表，并把该动作放在产生式M ? ?的右端 5.6 L属性的自底向上计算 5.6.1 删除翻译方案中嵌入的动作 E ? T R R ? + T {print (‘+’)}R1 | ? T {print (‘?’)}R1 | ? T ? num {print (num.val)} 在文法中加入产生?的标记非终结符，让每个嵌入动作由不同标记非终结符M代表，并把该动作放在产生式M ? ?的右端 E ? T R R ? + T M R1 | ? T N R1 | ? T ? num {print (num.val)} M ? ? {print (‘+’)} N ? ? {print (‘?’)} 5.6 L属性的自底向上计算 5.6.2 分析栈上的继承属性 属性位置能预测 例 int p, q, r D ? T {L.in = T.type} L T? int {T. type = integer} T? real {T. type = real} L? {L1.in = L.in } L1, id {addtype (id.entry, L.in )} L? id {addtype (id.entry, L.in )} 5.6 L属性的自底向上计算 5.6 L属性的自底向上计算 属性的位置不能预测 S ? aAC C.i = A.s S ? bABC C.i = A.s C ? c C.s = g(C.i) 5.6 L属