文法S→aaS|abc定义的语言是（）。A、｛a2kbcB、｛akbcC、｛a2k-1bcD、｛akakbc

A.xx*|yy*|zz*

B.(xx*|yy*)zz*

C.xx*(yy*|zz*)

D.(xx|yy)*zz*

Chomsky定义的四种形式语言文法中，0型文法又称为什么文法()。

A、短语结构

B、前后文无关

C、前后文有关

D、正规

AS

BB

C(T)

DSD(T)

以下选项中，能定义s为合法的结构体变量的是( )。

A．typedef struct abc { double a; char b[10]; } s;

B．struct { double a; char b[10]; }s;

C．struct ABC { double a; char b[10]; } ABC s;

D．typedef ABC { double a; char b[10]; } ABC s;

对于以下的文法G[S]，(27)是其句子(从S出发开始推导)。 G(S)：S→M|(S,M) M→P|MP P→a|b|c|…|x|x|z

A．(abc)

B．((a,f))

C．(c,(da))

D．((fac,bb),g)

已知文法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型

Chomsky定义的四种形式语言文法中，2型语言可由()识别。

A、短语结构文法

B、前后文无关文法

C、前后文有关文法

D、正规文法

E、图灵机

F、有限自动机

G、下推自动机

若消除文法中的ε-产生式，将会改变文法所定义的语言，故不能消除ε-产生式。()

A.aa*|bb*|cc*

B.(aa*|bb*)cc*

C.aa*(bb*|cc*)

D.(a|b|c)*

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

A．短语结构文法

B．上下文无关文法

C．上下文有关文法

D．正规文法

对于下面的文法G[S]，______ 是其句子(从S出发开始推导)。G[S]: S→M｜(S，M)M→P｜MP P→a｜b｜c｜... ｜x｜x｜z

A．[(a，f)]

B．[(fac,bb)，g]

C．(abc)

D．[c,(da)]

● 给定文法G[S]及其非终结符A，FIRST(A)定义为：从A出发能推导出的终结符号的集合（S 是文法的起始符号，为非终结符）。对于文法G[S]：

S→[L] | a

L→L, S| S

其中，G[S]包含的四个终结符号分别为：

a , [ ]

则FIRST(S)的成员包括 （48） 。

（48）

A. a

B. a、[

C. a、[和]

D. a、[、]和，