第六章——属性文法和语法制导翻译

一、属性文法

1.属性文法:是在上下文无关文法的基础上为每个文法符号(终结符或非终结符)配备若干个相关的(称为属性)。

属性:代表与文法符号相关的信息,和变量一样,可以进行计算和传递。

综合属性

用于“自下而上”传递信息

在语法树中,一个结点的综合属性的值,由其子结点的属性值确定

S—属性文法:仅仅使用综合属性的属性文法

2.属性的分类:

综合属性

继承属性

2)继承属性:

用于“自上而下”传递信息。

在语法树中,一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定

3.语义规则:

属性计算的过程即是语义处理的过程

对于文法的每一个产生式配备一组属性的计算规则,则称为语义规则。

(1)终结符只有综合属性,它由词法分析器提供

(2)非终结符既可以有综合属性也可以有继承属性,文法开始符号的所有继承属性作为属性计算前的初始值。

(3) 产生式右边符号的继承属性和产生式左边符号的综合属性都必须提供一个计算规则

(4) 产生式左边符号的继承属性和产生式右边符号的综合属性不由所给的产生式的属性计算规则进行计算,它们由其它产生式的属性规则计算

 

二、基于属性文法的处理方法

输入串语法树依赖图语义规则计算次序计算结果

这种由源程序的语法结构所驱动的处理办法就是语法制导翻译法。

语义规则的计算可能产生代码、在符号表中存放信息、给出错误信息或执行任何其它动作。对输入串的翻译也就是根据语义规则进行计算得出结果。

如果一属性文法不存在属性之间的循环依赖关系,那么该文法为良定义的。为了设计编译程序,我们只处理良定义的属性文法。

 

三、树遍历的属性计算方法

假设语法树已经建立起了,并且树中已带有开始符号的继承属性和终结符的综合属性。然后以某种次序遍历语法树,直至计算出所有的属性。

最常用的遍历方法是深度优先,从左到右的遍历方法

如果需要,可使用多次遍历

 

四、一遍扫描的处理方法

与树遍历的属性计算方法不同,一遍扫描的处理方法是在语法分析的同时计算属性值,而不是语法分析构造语法树之后进行属性的计算,而且无需构造实际的语法树。

因为一遍扫描的处理方法与语法分析器的相互作用,它与下面两个因素密切相关:

1.所采用的语法分析方法

2.属性的计算次序

五、抽象语法树

从语法树中去掉对翻译不必要的信息,而获得更有效的源程序中间表示。

这种经变换后的语法树称之为抽象语法树(Abstract Syntax Tree)。

在抽象语法树中,操作符和关键字都不作为叶结点出现,而是把它们作为内部结点,即这些叶结点的父结点。

 

六、属性文法的自下而上计算

1S—属性文法,它只含有综合属性。

综合属性可以在分析符号串的同时由自上而下的分析器来构造

分析器可以保存与栈中文法符号有关的综合属性值

每当进行归约时,新的属性值就由栈中正在归约的产生式右边符号的属性值来计算

可以通过扩充分析器中的栈来存放这些综合属性值

S-属性文法的翻译器通常可借助于LR分析器实现

(2)L-属性文法的自顶向下翻译

属性的计算次序受分析方法所限定的分析树结点建立次序的限制

分析树的结点是自左向右生成

如果属性信息是自左向右流动,那么就有可能在分析的同时完成属性计算

3L属性文法的定义

如果每个产生式A X1 X2 … Xn 的每条语义规则计算的属性是A的综合属性;或者是Xj 的继承属性,1  j  n, 但它仅依赖:

该产生式中Xj左边符号X1, X2,…, Xj-1的属性;

A的继承属性

S属性文法包含于L属性文法

 

七、翻译模式

翻译模式是语法制导定义的一种便于翻译的书写形式。其中属性与文法符号相对应,语义规则或语义动作用花括号{ }括起来,可被插入到产生式右部的任何合适的位置上。

这是一种语法分析和语义动作交错的表示法,他表达在按深度优先遍历分析树的过程中何时执行语义动作。

翻译模式给出了使用语义规则进行计算的顺序。可看成是分析过程中翻译的注释。

猜你喜欢

转载自blog.csdn.net/analogyy/article/details/80563508
今日推荐