上下文无关文法的分析树。
如果一个文法可以为某个句子生成多棵分析树,则称这个文法是二义性的。
二义性文法的判定:
对于任意一个上下文无关文法,不存在一个算法,判定它是无二义性的;但能给出一组充分条件,满足这组充分条件的文法是无二义性的。
(充分条件应该在后面会讲到)