第六章
1.属性文法
是在上下文无关文法的基础上为每个文法符号(终结符或非终结符)配备若干个相关的“值”(称为属性)。
属性:代表与文法符号相关的信息,和变量一样,可以进行计算和传递。
(1)综合属性
用于“自下而上”传递信息
在语法树中,一个结点的综合属性的值,由其子结点的属性值确定
(2)继承属性用于“自上而下”传递信息。
在语法树中,一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定
(2)继承属性
用于“自上而下”传递信息。
在语法树中,一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定4.语义规则所描述的工作
属性计算
静态语义检查
符号表操作
代码生成
2.基于属性文法的处理方法
1 输入串--语法树--依赖图--语义规则计算次序--计算结果
这种由源程序的语法结构所驱动的处理办法就是语法制导翻译法。
语义规则的计算可能产生代码、在符号表中存放信息、给出错误信息或执行任何其它动作。对输入串的翻译也就是根据语义规则
进行计算得出结果。
2 属性的计算次序
一个有向非循环图的拓扑序是图中结点的任何顺序m1,m2, …mk,使得边必须是从序列中前面的结点指向后面的结点。
也就是说,如果mi--mj是mi到mj的一条边,那么在序列中mi必须出现在mj之前。
3、树遍历的属性计算方法
假设语法树已经建立起了,并且树中已带有开始符号的继承属性和终结符的综合属性。然后以某种次序遍历语法树,直至计算出
所有的属性。
4.抽象语法树从语法树中去掉对翻译不必要的信息,而获得更有效的源程序中间表示。
这种经变换后的语法树称之为抽象语法树
3.属性文法的自下而上计算
S—属性文法,它只含有综合属性。
综合属性可以在分析符号串的同时由自上而下的分析器来构造
分析器可以保存与栈中文法符号有关的综合属性值
每当进行归约时,新的属性值就由栈中正在归约的产生式右边符号的属性值来计算
可以通过扩充分析器中的栈来存放这些综合属性值
S-属性文法的翻译器通常可借助于LR分析器实现
4.L-属性文法的自顶向下翻译
属性的计算次序受分析方法所限定的分析树结点建立次序的限制
分析树的结点是自左向右生成
如果属性信息是自左向右流动,那么就有可能在分析的同时完成属性计算
5.翻译模式
翻译模式是语法制导定义的一种便于翻译的书写形式。其中属性与文法符号相对应,语义规则或语义动作用花括号{ }括起来,
可被插入到产生式右部的任何合适的位置上。
这是一种语法分析和语义动作交错的表示法,他表达在按深度优先遍历分析树的过程中何时执行语义动作。
翻译模式给出了使用语义规则进行计算的顺序。可看成是分析过程中翻译的注释。
第七章
1.语义分析的任务
1. 审查每一个语法结构的静态语义,即验证语法正确的结构是否有意义。
2.在语义正确的基础上生成一种中间代码或目标代码。
2. 语义分析的范围
1.确定类型:确定标识符所关联的数据类型。
2.类型检查:按语言的类型规则,检查运算的合法性与运算分量类型的一致性,必要时作类型转换。
3.识别含义:根据语言的语义定义(形式或非形式),识别程序中各构造成分组合到一起的含义,并作相应的语义处理(生成中间代码或目标代码)。
4.控制流检查:控制流语句必须转移到合法的地方。如C中,break语句规定跳出最内层的循环或switch语句。
5.一致性检查:在很多场合要求对象只能被说明一次。
6.相关名字检查:如:Ada,循环或块可以有一个名字,它出现在这些结构的开头或结尾。编译程序必须检查这两个地方用的名字是否相同。
其他:如名字的作用域分析等也是语义分析的工作。
3.语义描述工具和语义分析方法
1 .语义描述工具
目前流行:用属性文法作为描述语义的工具。
2.语义分析方法
根据描述属性文法的语义规则的方式不同分为:
语法制导定义
翻译方案
3.语法制导翻译
自底向上的语法制导翻译
自顶向下的语法制导翻译
4.几种常用的中间语言形式
逆波兰表示法:a+b → ab+
图表示法:抽象语法树
三元式:
三元式由三个部分组成:
算符:OP
第一运算分量:ARG1
第二运算分量:ARG2
间接三元式:在三元式的基础上附加一张指示器表─间接码表,按运算的先后顺序列出有关三元式在三元式表中的位置。这种表示方法称为间接三元式
四元式:一个四元式是一个带有四个域的记录结构:op,arg1,arg2及result。它实际上就是一条三地址的指令。
5.赋值语句的翻译
1.简单算术表达式的赋值语句:
所谓简单指不考虑数组元素、记录、函数的引用等情况。
2.类型转换
有的程序设计语言允许混合运算,有的不允许。如果不允许,则发现有类型不相同的运算分量就应该报错。如果允许,就要进行类型转换。
6.控制流语句的翻译
1. 条件语句中布尔表达式的翻译
出现在条件语句if E then S1 else S2中的布尔表达式E,它的作用仅在于控制对S1或S2的选择,亦即提供“真”“假”出口,所以其值无需一直保留。
2.标号和无条件转移的翻译
3.循环与分情况语句的翻译
7.过程调用的翻译
1.把程序控制转移到子程序(过程段),执行完毕再返回。这个问题很好解决。
2.传递实在参数。我们前面谈到过几种不同的参数传递方式(传名、传值、传地址),它们的语义动作也就有所区别。