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

第1题：

文法分为四种类型，即0型、1型、2型、3型。其中0型文法是_____。

A．短语文法

B．正则文法

C．上下文有关文法

D．上下文无关文法

第2题：

【单选题】乔姆斯基（Chomsky)把文法分为四种类型，即0型、1型、2型、3型。其中3型文法是（)

A．非限制文法

B．正则文法

C．上下文有关文法

D．上下文无关文法

第3题：

3、文法分为四种类型，即0型、1型、2型、3型。其中0型文法是_____。

A．短语文法

B．正则文法

C．上下文有关文法

D．上下文无关文法

第4题：

乔姆斯基把文法分为四种类型，即0型、1型、2型、3型，其中3型文法是：（)

A．上下文无关文法

B．正规文法

C．属性文法

D．算符优先文法

第5题：

2、文法分为四种类型，即0型、1型、2型、3型。其中0型文法是（)。

A．正则文法

B．上下文无关文法

C．短语文法

D．上下文有关文法