根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，文法被分为4种类型，即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与(1)等价，所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说，(3)最强，(4)最弱，由4类文法的定义可知(5)必是2型文法。

如果在文法G中存在一个句子，当其满足下列条件（）之一时，则称该文法是二义文法。

在形式语言中，若文法G的产生式集P为：(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a则文法G是(27)文法，识别G的自动机为(28)。对于G来说，(29)为文法G可接受的字符串，(30)为文法G不可接受的字符串。供选择的答案：

文法 G 所描述的语言是（）的集合。

文法G 所描述的语言是（ ）的集合。

文法G产生的语言是无穷的，当且仅当文法是递归的。（ ）

已知文法G［S］：S→A0｜B1，A→S1｜1，B→S0｜0；该文法属于乔姆斯基定义的__（1）__文法，它不能产生串__（2）__。空白（1）处应选择（）

● 设某上下文无关文法如下： S→11 | 1001 | S0 |SS，则该文法所产生的所有二进制字符串都具有的特点是 （50） 。（50）

设某上下文无关文法如下：S→11 |1001|S0|SS，则该文法所产生的所有二进制字符串都具有的特点是(50)。

有文法G：E→E*T
TT→T+i
i句子1+2*8+6按该文法G归约，其值为（）

文法G=({E}，{+，*，(，)，a}，P，E)，其中P由下列产生式组成E-＞E+E|E*E|(E)|a。它生成由a，+，*，(，)组成的算术表达式，该文法在乔姆斯基分层中属于(33)型文法，其对应的自动机是(34)，如产生句子a*a+a，它的派生树是(35)，且最左派生由(36)种，该文法是(37)。

假设某程序语言的文法如下：S→SaT|TT→TbR|RR→PdR|PP→fSg|e其中Vr＝{a，b，d，e，f，g}；Vn＝{S，T，R，P}；S是开始符号，那么，此文法是(43)文法。这种文法的语法分析通常采用优先矩阵。优先矩阵给出了该文法中各个终结符之间的优先关系(大于、小于、等于和无关系)。在上述文法中，某些终结符之间的优先关系如下：b{(44)}a；f{(45)}g；a{(46)}a；d{(47)}d。