二义性文法

二义文法的定义

给定文法G，如果存在句子s，它有两棵不同的分析树，那么称G是二义性文法

带来的问题

从编译器角度，二义性文法存在问题：同一个程序会有不同的含义，因此程序运行的结果不是唯一的

一个句子有多于一棵分析树，仅与文法和句子有关，与采用的推导方式无关。

二义性文法举例

造成文法二义性的根本原因：

文法中缺少对文法符号优先级和结合性的规定。

改写二义文法的关键步骤

• 引入一个新的非终结符，增加一个子结构并提高一级优先级
• 递归非终结符在终结符左边，使该终结符具有左结合性，否则有右结合性，
• 例如
  

特点

1.新引入的非终结符，限制了每一步直接推导均有唯选择
2.最终分析树的形状，仅与文法有关，而与推导方法无关
3.非终结符的引入，增加了推导步骤（分析树增高）
4.越接近S的文法符号优先级越低
5.对于A->aAβ，其右部中，若A在终结符a左边出现（即β中包含a），则终结符a具有左结合性质

悬空else问题

• 消除二义性，引入新的非终结符matched_stmt, unmatched_stmt