最左推导和最右推导，语法树，二义性文法

※最左推导和最右推导

（每一步替换最左边的非终结符/每一步替换最右边的非终结符），最右推导称为规范推导。最右推导对应于最左规约（规范规约）

例：

文法：

S--->AB

A--->a|t

B---->+CD

C--->a

D---->a

最右推导：

S--->AB---->A+CD--->A+Ca---->A+aa----->a+aa

最左推导：

S---->AB----->aB--->a+CD--->a+aD----->a+aa

※语法树：

例

文法：

 

相应的语法树：

 

（这是最右推导的语法树）

※文法的二义性：

给定一个文法G，如果L（G）中存在一个具有两棵或两棵以上分析树的句子， 我们就称该文法为二义性的，G也叫二义性文法。

对于以下文法：

 

对于id+id*id的串，有两个分析树与之对应

 

造成二义性的原因是：文法中没有体现出结合率和优先级