- 1、本文档共99页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第五章语法制导翻译
语法制导翻译 ??为什么进行词法和语法分析 ??用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属
文档评论(0)