上下文无关文法的分析树。

CFG的分析树

(句型的)短语

二义性文法(Ambiguous Grammar)

如果一个文法可以为某个句子生成多棵分析树,则称这个文法是二义性的。

二义性文法的判定:

对于任意一个上下文无关文法,不存在一个算法,判定它是无二义性的;但能给出一组充分条件,满足这组充分条件的文法是无二义性的。

(充分条件应该在后面会讲到)