如何证明一个文法不是二义文法？

[TAlucard]

如题，对我有所帮助得必给分，决不食言。

[fzuboy]

只要证明它只有一种最左（右）推导就可以了。

[TAlucard]

可否说明白点？
例如：S->AS | b
A->SA | a

[fzuboy]

就是文法中至少存在着一个句子，它存在两种以上的最左（右）推导，文法就是二义性的。
如你提供的这例子，存在着这样一个句子：abab它就有两种最左推导树。S=>AS=>SAS=>ASAS=>aSAS=>abAS=>abaS=>abab
S=>AS=>aS=>aAS=>aSAS=>abAS=>abaS=>abab
因此，你所提供的这文法是二义性的。