[编译原理第八章—语法制导翻译.ppt

L－属性文法和自顶向下翻译 LL（1）这种自上而下分析文法的分析过程，从概念上说可以看成是深度优先建立语法树的过程，因此，我们可以在自上而下语法分析的同时实现L属性文法的计算。 消除左递归： E→E addop T | T T→num 变为 E→TR R→addop T R|ε T→num Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （消除左递归）2+3-5的语法树 LL（1）分析: E→TR R→addop T R|ε T→num E R T T + 2 T - 3 R R 5 ? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 说明语义动作的语法树 E R T Print’+’ + 2 T - 3 R R 5 ? print’2’ T print’3’ print’5’ Print’-’ E→TRR→addop T {print(addop. Lexeme)} R1|εT→num {print(num.val)} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 补充：左递归翻译模式的转换 左递归翻译模式 A→A1Y｛A.a:=g(A1.a,Y.y)} A→X ｛A.a:=f(X.x)} 每一个文法符号都有一个综合属性，用相应的小写字母表示，g和f是任意函数。 消除左递归，文法转换成 A→X R R→Y R|ε Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 补充：左递归翻译模式的转换 再考虑语义动作，翻译模式变为： 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} 其中，使用R的继承属性i和综合属性s。 翻译模式1和翻译模式2的结果是一样的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. A→A1Y {A.a: = g(A1。a, Y.y)} A→X {A.a: = f(X.x)} A.a=g(g(f(X.x),Y1.y),Y2.y) A.a=g(f(X.x),Y1.y) Y2 A.a=f(X.x) Y1 X A A Y A Y X Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 属性文法 基于属性文法的处理过程（语法制导翻译） 注释分析树上看继承属性与综合属性 继承属性是自上而下计算的 综合属性是自下而上计算的 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 语法制导翻译 属性文法 语法制导翻译概论 计算语义规则 S-属性文法和自下而上翻译 L-属性文法和自上而下翻译 L