语法制导翻译-.pptVIP

4.3L属性定义的自上而下计算

;属性计算与分析方法之间的关系

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

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

所以，仅当属性信息是自左向右流动时，才有可能在分析的同时完成属性计算。;4.3L属性定义的自上而下计算;4.3.1L属性定义

如果每个产生式A?X1X2…Xn的每条语义规则计算的属性是A的综合属性；或者是Xj的继承属性，1?j?n,但它仅依赖：

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

A的继承属性。

S属性定义属于L属性定义。;例非L属性;另一例非L属性的语法制导定义;L属性定义的例子：变量类型声明的语法制导定义;4.3L属性定义的自上而下计算;4.3L属性定义的自上而下计算;4.3.2翻译方案;4.3L属性定义的自上而下计算;4.3.2翻译方案

例把有加和减的中缀表达式翻译成后缀表达式

如果输入是8+5?2，则输出是85+2?。

E?TR

R?addopT{print(addop.lexeme)}R1|?

T?num{print(num.val)}

E?TR?num{print(8)}R

?num{print(8)}addopT{print(+)}R

?num{print(8)}addopnum{print(5)}{print(+)}R

…{print(8)}{print(5)}{print(+)}addopT{print(?)}R

…{print(8)}{print(5)}{print(+)}{print(2)}{print(?)};翻译模式示例：把带加号和减号的中缀表达式翻译成相应的后缀表达式;建立翻译模式;建立翻译模式;;例数学排版语言EQN

Esub1.val

S?B

B?B1B2

B?B1subB2

B?text;例数学排版语言EQN

Esub1.val;例数学排版语言EQN

S? {B.ps:=10}

B {S.ht:=B.ht}

?B? {B1.ps:=B.ps}

B1 {B2.ps:=B.ps}

B2 {B.ht:=max(B1.ht,B2.ht)}

?B? {B1.ps:=B.ps}

B1

sub {B2.ps:=shrink(B.ps)}

B2 {B.ht:=disp(B1.ht,B2.ht)}

?B?text {B.ht:=text.h?B.ps};4.3L属性定义的自上而下计算;例左递归的消除引起继承属性;E?T {R.i:=T.nptr} T+T+T+…

R {E.nptr:=R.s}

R?+

T {R1.i:=mknode(‘+’,R.i,T.nptr)}

R1 {R.s:=R1.s}

R?? {R.s:=R.i}

T?F {W.i:=F.nptr}

W {T.nptr:=W.s}

W?*

F {W1.i:=mknode(‘*’,W.i,F.nptr)}

W1 {W.s:=W1.s}

W?? {W.s:=W.i};T;A?A1Y{A.a:=g(A1.a,Y.y)}

A?X{A.a:=f(X.x)};A?A1Y{A.a:=g(A1.a,Y.y)}

A?X{A.a:=f(X.x)};A?X{R.i:=f(X.x)}

R{A.a:=R.s}

R?Y{R1.i:=g(R.i,Y.y)}

R1{R.s:=R1.s}

R??{R.s:=R.i};本讲纲要;设计递归下降翻译器的方法;设计递归下降翻译器的方法;设计递归下降翻译器的方法;4.3.3预测翻译器的设计

目标：为文法计算其中的L属性值

方法：把预测分析器的构造方法推广到翻译方案的实现

产生式R?+TR|?的分析过