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

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

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

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

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

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

()LL(1)文法不含左递归。( )

LL(1)文法不含左递归。( )

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

在时间项的八位数字中第1－4位数表示（）。

40WM-40中第一个“40”表示（）的工程直径为40毫米。

在时间项的八位数字中第1－4位数表示（）。