文法歧义

歧义意味着同一输入可以被文法赋予两种不同层次结构，而不只是推导步骤顺序不同。对程序表达式，这两棵树往往对应不同求值，例如先加后乘与先乘后加。消除歧义的常见做法是把优先级和结合性编码进非终结符层次，使每个操作数只能出现在恰当位置。语言是否固有歧义更深：它问能否换一套文法彻底解决，而不是能否修补当前规则。

文法

对 id+id*id 有两棵树，分别表示 $(\mathrm{id}+\mathrm{id})\ast \mathrm{id}$ 与 $\mathrm{id}+(\mathrm{id}\ast \mathrm{id})$。可用分层文法 E→E+T|T、T→T*F|F、F→id|(E) 固定乘法高优先级和左结合。

边界是同一棵树的不同展开次序：先展开左子树或右子树可形成不同普通推导，却不构成歧义。解析器的 shift/reduce 冲突提示某种不确定性，但冲突也可能由解析算法或文法表示方式造成，不能无条件等同于语言固有歧义。

同样，解析器用优先级或结合性规则强制选出一棵树，只是给原文法外加消歧策略，并没有证明原 CFG 本身无歧义。

歧义直接影响语法树公理库语法树Parse tree · Derivation tree用树形结构记录文法产生式如何从开始符号生成一个字。、编译器语义动作和自然语言解析。操作符优先级、悬挂 else、模式匹配结合方式都需要通过文法改写或外部消歧规则处理。

它位于上下文无关文法公理库上下文无关文法Context-free grammar · CFG每条产生式左侧是单个非终结符的生成系统。理论的算法边界：成员资格可判定，文法等价与歧义性却不可判定。无歧义文法还可用于定义唯一概率解析或唯一代码生成结构。