给定文法G，如果存在句子s，它有两棵不同的分析树，那么称G是二义性文法
带来的问题
从编译器角度，二义性文法存在问题：同一个程序会有不同的含义，因此程序运行的结果不是唯一的
一个句子有多于一棵分析树，仅与文法和句子有关，与采用的推导方式无关。
二义性文法举例
造成文法二义性的根本原因：
文法中缺少对文法符号优先级和结合性的规定。
改写二义文法的关键步骤
- 引入一个新的非终结符，增加一个子结构并提高一级优先级
- 递归非终结符在终结符左边，使该终结符具有左结合性，否则有右结合性，
- 例如
特点
1.新引入的非终结符，限制了每一步直接推导均有唯选择
2.最终分析树的形状，仅与文法有关，而与推导方法无关
3.非终结符的引入，增加了推导步骤（分析树增高）
4.越接近S的文法符号优先级越低
5.对于A->aAβ，其右部中，若A在终结符a左边出现（即β中包含a），则终结符a具有左结合性质
悬空else问题
- 消除二义性，引入新的非终结符matched_stmt, unmatched_stmt