语法树怎样判断歧义性
写代码的时候，你有没有遇到过编译器“看不懂”你写的表达式？比如 a + b * c 到底是先算加法还是乘法？又比如自然语言中，“我看见了穿红衣服的女孩用望远镜”，到底是“我用望远镜看”，还是“女孩用望远镜”？这类问题背后，其实都涉及语法的歧义性。而语法树，正是帮我们看清这些问题的关键工具。
语法树，也叫解析树（Parse Tree），是把一段代码或句子按照语法规则拆解成结构化图形的方式。每个节点代表一个语法成分，比如表达式、语句、变量等。通过观察语法树的结构，我们可以直观地看出一个表达式是否可能存在多种解释。
一棵树对应一种理解
比如在编程语言中，表达式 3 + 4 * 5 如果不考虑优先级，理论上可以有两种语法树：
第一种：先加后乘
<expr>
└── <expr> (3 + 4)
└── <term> (* 5)
└── 5第二种：先乘后加（符合常规优先级）
<expr>
└── <term> (3)
└── +
└── <expr> (4 * 5)如果文法设计得不好，解析器可能会生成不止一棵合法的语法树。这时候，就说明这个文法存在歧义性。
怎么判断有没有歧义？
判断的核心方法很简单：给定一个输入串，看看能不能构造出两棵或更多结构不同的语法树。只要能画出两种合理的分解方式，那这个语法就是歧义的。
举个经典的例子：if-else 语句。很多语言允许嵌套 if，比如：
if (a) if (b) s1; else s2;这里的 else 到底属于外层 if 还是内层 if？不同语法树会导致不同执行逻辑。如果不加限制，这就构成了歧义。实际处理中，编译器通常采用“最近匹配”原则来消除这种歧义，但本质上，原始文法是存在多棵语法树可能的。
避免歧义的常见手段
为了避免歧义，语言设计者通常会采取几种策略。一种是修改文法，让它只能生成唯一一棵语法树。比如引入不同的非终结符来区分优先级：
<expr> → <expr> + <term> | <term>
<term> → <term> * <factor> | <factor>
<factor> → number | ( <expr> )这样，乘法只能出现在 term 层，加法在 expr 层，天然保证了先乘后加，也就排除了错误的语法树结构。
另一种方式是借助外部机制，比如在词法分析阶段标记特定 token，或者在语法分析时使用优先级声明（如 Yacc/Bison 中的 %left、%right）。
在自然语言处理中，虽然语法树也能暴露歧义，但最终往往需要结合上下文、语义甚至常识来消解。比如“鸡不吃白菜”可以是“鸡不吃”（白菜是吃的对象），也可以是“不吃白菜的鸡”（白菜是修饰鸡的）。两棵树都合法，但意思完全不同。
说到底，语法树就像一张“结构快照”。它不主动解决问题，但它能把问题清清楚楚摆出来。只要你能画出两棵树，歧义就藏不住。这也是为什么在设计语言、编写编译器或做句法分析时，画语法树从来都不是多余的步骤。