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

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

一个文法G是岐义性(又称二义性)文法的含义是(28)。

已知文法G[A]，它定义的语言描述为(39)。 G[A]：A→0B|1C B→1|1A|OBB C→O|OA|lCC

一个LR（1）文法合并同心集后若不是LALR（1）文法（）

在形式语言中，若文法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:S→xSx|y所识别的语言是_____。( )

以下陈述完全正确的是：（ ）。 ①LR（K）文法是无二义性文法 ②LR（K）文法可能是左递归文法 ③LL（K）文法是无二义性文法 ④LL（K）文法可能是左递归文法 ⑤简单优先文法是无二义性文法 ⑥简单优先文法肯定是无左递归文法

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

设G 是一个给定的文法，S 是文法的开始符号，如果S->x( 其中x∈V*), 则称x 是文法G 的一个（ ）。

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