编译与原理2.3.2-语法树及二义性.pptVIP

2.3.2 语法分析树与二义性上下文无关文法及其语法树 用上下文无关文法描述程序语言 句型和语法树 一个句型对应的不同推导序列 文法二义性 有关文法的实用限制 (文法化简) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.用上下文无关文法描述程序语言 E→i | E+E | E*E | (E) 语句 →条件语句 |赋值语句 | 循环语句 赋值语句 → i:=E 条件语句 →if条件 then语句 | if条件〉then语句 else语句 说明语句 →var 变量列表:integer 变量列表 →i | 变量列表, i 补充例 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2. 句型和语法树 (推导树) 复习: 句型、句子、推导 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. E ( E ) E + E E * E i i i p31 E  (E)  (E+E)  (E*E+E)  (i*E+E)  (i*i+E)  (i*i+i) 语法树 (推导树) 开始符号 句型的推导 文法G: E→E+E| E*E| (E)| E 句型 (i*i+i) 句型 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 补充例 G[S]: S→aAS A→SbA A→SS S→a A→ba 句型 aabbaa Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 补充: 定理 G为上下文无关文法, α≠ε 对于有S α，当且仅当 G有以α为结果的一棵语法树 问题 : 如何证明一个符号串是句型? 如何证明一个符号串是句子? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. G[S]:S→aAS A→SbA A→SS S→a A→ba 句型:aabbaa 语法树是推导序列的几何描述 根据一棵语法树只能得到一个文法的部分产生式 一棵语法树的不同构造过程对应了不同的推导序列 如果我们坚持用最左(最右)推导, 那么一棵语法树就完全等价于一个最左(最右)推导. 上下文无关文法句型  语法树 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.一个句型对应的不同推导序列 最左推导 最右推导 (规范推导) 最左归约 (规范规约)