A.非二义性B.二义性C.单一性D.多义性

Question

A．非二义性

B．二义性

C．单一性

D．多义性

Answer 1

正确答案：B
解析：乔姆斯基定义了4种文法类型，他们之间的差别是按文法G=(VN，VT，P，S)的P所允许的产生式的形式加以区分的。如果P中的每个产生式形式如A-＞P，其中A为非终结符，P为P*，则称此文法为2型文法或上下文无关文法。对应的语言称为上下文无关语言，对应的自动机称为下推自动机。题中的文法属于1型对应的下推自动机。产生句子a*a+a的派生树有两棵，如图3所示：这是三叉树，最左派生有两种，它们是E=＞E+E=＞E*E+E=＞a*E+E=＞a*a+E=＞a*a+aE=＞E*E=＞a*E=＞a*E+E=＞a*a+E=＞a*a+a因此，该文法是二义的。