参考答案：D

解析：

可以如下给出文法二义性的定义，如果一文法的句子存在两棵分析树，那么该句子是二义性的。如果一文法能产生二义性的句子，则说这个文法是二义性的；否则，该文法是无二义性的。换句话说，如果一个文法的句子能构造出两棵分析树，那么这个文法是二义性的。一个文法的句子能构造出两棵分析树的依据是这个句子有两个不同的最左推导或最右推导。

我们常常使用无二义性文法，使得构造出的编译程序的分析过程是唯一的。但是，一个语言的二义性文法常比无二义性文法简单明了。因此，在描述语言语法和构造编译程序时，也使用二义性文法。显然，在使用二义性文法时，要清楚知道使用的二义性文法因何会出现二义性，以及在什么条件的约束下可消除这种二义性。