根据乔姆斯基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型文法。

任何一个二义性文法一定不是LR类文法，也不是一个算符优先文法。

在形式语言中，若文法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不可接受的字符串。供选择的答案：

3型文法是（）是语法分析使用的文法。

语法分析时必须先消除文法中的左递归。

语法分析基于（）文法进行，即识别的是该类文法的句子。语法分析的有效工具是（）。

乔姆斯基把文法分为四种类型，即0型、1型、2型、3型。其中2型文法叫什么？

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

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

能够进行不带回溯的自顶向下语法分析的文法称为LL(1)文法。（ ）

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