产生正规语言的文法为（）A、0型B、1型C、2型D、3型

下推自动机识别的语言是()

A、0型语言

B、1型语言

C、2型语言

D、3型语言

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

A．线性有限自动机

B．非确定的下推自动机

C．图灵机

D．有限自动机

为下列文法选择最准确的答案：

文法G[S]属于(12)：

S→CD Ab→bA

C→aCA Ba→aB

C→bCB Bb→bB

AD→aD C→s

BD→bD D→c

Aa→bD

L(G)={ww|w∈{a,b)*)

文法G[冈属于(13)：

P→0A|1B|O

A→0A|1B|0P

B→1B|1|0

文法G[1]属于(14)：

I→1T

I→1

T→1T

T→dT

T→1

T→d

其中，1表示a～z中的任意一个英文字母，d表示0～9中的任意一个数字。

A．1型(上下文有关)文法

B．2型(上下文无关)文法

C．定义标识符的3型(正规)文法

D．0型文法

在Chomsky定义的4种形式语言文法中，0型文法又称为(51)文法；1型文法又称为(52)文法；2型语言可由(53)识别。

A．短语结构文法

B．上下文无关文法

C．上下文有关文法

D．正规文法

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

A．确定的有限自动机

B．图灵机

C．非确定的下推自动机

D．非确定的有限自动机

E．有限自动机

A.短语文法

B.正则文法

C.上下文有关文法

D.上下文无关文法

A.短语文法

B.正则文法

C.上下文有关文法

D.上下文无关文法

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

A．确定的有穷自动机

B．图灵机

C．非确定的下推自动机

D．非确定的有穷自动机

E．有穷自动机

为下列文法选择最准确的答案：

文法G[S]属于(52)：

S→CD Ab→bA

C→aCA Ba→aB

C→bCB Bb→bB

AD→aD C→ε

BD→bD D→ε

Aa→bD

L(G)={ww|w∈{a，b}*}

文法G[P]属于(53)：

P→0A|1B|0

A→A|1B|OP

B→1B|1|0

文法G[I]属于(54)：

I→IT

I→1

T→IT

T→dT

T→1

T→d

其中，1表示a～z中的任意一个英文字母，d表示0～9中的任意一个数字。

A．1型(上下文有关)文法

B．1型(上下文无关)文法

C．定义标识符的3型(正规)文法

D．0型文法

已知文法G[S]：S→A0｜B1，A→S1｜1，B→S0｜0，该文法属于乔姆斯基定义的(18)文法，它不能产生串(19)。

语言L={ambn｜m≥0，n≥1)的正规表达式是(20)。

一个文法G=(N，T，P，S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号，令集合V=N∪T，那么G所描述的语言是(21)的集合。

程序设计语言引入“类”的概念是为了解决数据保护问题。C++语言将类的成员封装在类体之中，使之具有一定的存取规则，这些规则规定了存取类的成员的权利，其中对于用Private说明的成员，它(22)。

A．0型

B．1型

C．2型

D．3型