- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
语法制导翻译;??为什么进行词法和语法分析
??用A→α进行归约表达的是什么意思
看:operand+term
E→E1+T
E1的值+T的值的结果作为E的值——即:取来E1的值和T的值做加法运算,结果作为E的值
E.val=E1.val+T.val;第五章 语法制导翻译;5.1 语法制导翻译概述;1. 语义分析的任务;2. 代码结构;3. 典型处理方法;3. 典型处理方法;语义翻译的流程;◆语法制导定义是对上下文无关文法的推广
每个文法符号都有一个相关的属性集。
综合属性:通过分析树中其子节点的属性值计算出来;
继??属性:由该节点的兄弟节点及父节点的属性值计算出来;
◆依赖图
语义规则建立了属性之间的依赖关系,这些关系可以用图来表示,这样的图称为依赖图。;在一个语法制导定义中,?A→??P都有与
之相关联的一套语义规则,规则形式为
b:= f(c1,c2,…,ck),
f是一个函数,而且或者
1.b是A的一个综合属性并且c1,c2,…,ck
是?中的符号的属性,或者
2.b是?中的符号的一个继承属性并且c1,
c2,…,ck是A或?中的任何文法符号的属性。
在两种情况下,都说属性b依赖于属性c1,c2,…,ck。;例5.1 台式计算器程序的语法制导定义(图5-2); S-属性定义
仅仅使用综合属性的语法制导定义。
结点属性值的计算正好和自底向上分析建立分析树结点同步进行。
例 5 .2
输入:3*5+4n;digit?lexval:=3; ◆综合属性值的计算方法
对于s-属性定义,通常使用自底向上的分析方法,在建立每一个结点处使用语义规则来计算综合属性值,即在用哪个产生式进行归约后,就执行那个产生式的s-属性定义计算属性的值,从叶结点到根结点进行计算。
5.1.3 继承属性
继承属性值是由此结点的父结点和/或兄弟结点的某些属性值来决定的。
例5 . 3 变量说明的属性定义
int a,b,c; 表5.2 带有继承属性L.in的语法制导定义;T;依赖图的构造方法
for 分析树中的每个结点n do
for 与结点n对应的文法符号的每个属性a do
在依赖图中为a构造一个结点;
for 分析树的每个结点n do
for 结点n所用产生式对应的每条
语义规则 b:=f(c1,c2,…,ck ) do
for i:=1 to k do
从结点ci到结点b构造一条有向边;;例5-5 图5-5分析树的依赖图;◆拓扑排序
一个无环有向图的拓扑排序是图中
结点的任何顺序m1,m2,…,mk,???得
边必须是从序列中前面的结点指向后面的
结点,也就是说,如果mi→mj是mi到mj的
一条边,那么在 序列中mi必须出现在mj的
前面。
若依赖图中无环,则存在一个拓扑排序,它就是属性值的计算顺序。; 1, 2, 3,4,5,6,7,8,9,10
a4:=real;
a5:=a4;
addtype(id3?entry,a5);
a7:=a5;
addtype(id2?entry,a7);
a9:=a7;
addtype(id1?entry,a9);;分析树法: 输入串→分析树→依赖图→计算次序
基于规则的方法: 在构造编译器时,用手工或专门的工具来分析语义规则,确定属性值的计算顺序。
忽略语义规则的方法:在分析过程中翻译,那么计算顺序由分析方法来确定而表面上与语义规则无关。这种方法限制了能被实现的语法制导定义的种类。
后两种方法不必显式构造依赖图,因此时空效率更高。; ◆抽象语法(abstract syntax)
从具体语法中抽象出语言结构的本质性的东西,而不考虑语言的具体符号表示,从而可简化语义的形式描述。
在不同的语言中赋值语句有不同的写法: ??? ?????? x=y;? x:=y;? y→x ???等等,可以用抽象形式 ??? ??????assignment(variable,expression)
把前面各种具体形式统一起来。; 表示程序层次结构的树,它把分析树中对语义无关紧要的成分去掉,是分析树的抽象形式 ,也称作语法结构树,或结构
您可能关注的文档
最近下载
- 基坑支护内支撑梁拆除施工方案.docx VIP
- 最新人教版一年级上册《数学游戏》课件(整套)教学PPT(2024年秋-新教材).pptx VIP
- 最新人教版一年级数学上册《数学游戏》教学课件(整套)PPT(2024秋-新教材).pptx VIP
- GBT6058-2005 纤维缠绕压力容器制备和内压试验方法.pdf
- GB╱T 23711.1-2009 氟塑料衬里压力容器电火花试验方法.pdf
- 7m焦炉推焦车的结构特征.pdf
- 研发领料单模板.docx VIP
- 辽宁省技工学校审批表.doc VIP
- GB 26501--2011 氟塑料衬里压力容器 通用技术条件.pdf
- 施工放样报验单.doc VIP
文档评论(0)