证明一个文法具有二义性我们需要掌握两个知识点。
定义很简单,就是把一个句型的推导写成树的形式,这种表示法就叫语法分析树,或者简称为语法树。大概是这个样子的
一个文法存在某个句子对应两棵不同的语法树,则称这个文法是二义的。也就是该句子有两个不同的最左(最右)推导。
ok,让我们
证明下列文法G(S)是二义的
S->Ac|aB
A->ab
B->bc
过程很简单就是自己定义一个句子,然后说明这个句子有两个语法树就可以了。
这里定义句子是abc,对应的两个语法树像这个样子
所以该文法是二义文法。