一个上下文无关文法G包括四个组成部分：一组终结符，一组非终结符，一个（），以及一组（）。

由某上下文无关文法M[s]推导出某句子的分析树如下图所示，则错误的叙述是( )。

A．该文法推导出的句子必须以“a”开头

B．acabcbdcc是该文法推导出的一个句子

C．“s->aAcB”是该文法的一个产生式

D．a、b、c、d属于该文法的终结符号集

A.句型

B.终结符集

C.非终结符集

D.句子

●程序设计语言包括 (41) 等几个方面，它的基本成分包括 (42) 。Chomsky(乔姆斯基)提出了形式语言的分层理论，他定义了四类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑,V,S,P)表示，其中，∑是终结符的有限字符表，V是非终结符的有限字母表，S(∈V)是开始符号，P是生成式的有限非空集。在短语文法中，P中的生成式都是α→β的形式，其中a∈ (43) ，β∈(∑∪V)*。在上下文有关文法中，P中的生成式都是α1Aα2→α1βα2的形式，其中A∈ (44) ，β∈(∑∪V*),β≠ε。在上下文无关文法中，P中的生成式的左部∈ (45) 。

(41) A．语法、语义

B．语法、语用

C．语义、语用

D．语法、语义、语用

(42) A．数据、传输、运算

B．数据、运算、控制

C．数据、运算、控制、传输

D．顺序、分支、循环

(43)A．V+

B．(∑∪V)

C．(∑∪V)*

D．(∑∪V)*V(∑∪V)*

(44) A．V

B．V+

C．∑∪V

D．(∑∪V)*

(45) A．V

B．V+

C．∑∪V

D．(∑∪V)*

对文法G[S]：S→a|∧|(T)；T→T，S|S：回答问题1～问题3。

对文法G进行改写，然后对每个非终结符写出不带回溯的递归子程序。

在文法中，由于有些符号不需要进一步定义，故通常将它们称为什么()。

A、终结符号

B、非终结符号

C、开始符号

D、基本符号

文法G产生的(50)的全体是该文法描述的语言。

A．句型

B．终结符集

C．非终结符集

D．句子

A.如何确定一个规范句型的句柄

B.应将句柄归约为哪个非终结符号

C.如何确定一个规范句型的句柄，以及应将句柄归约为哪个非终结符号

D.以上都不是

● 程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法Ｇ=(N，T，P，S)，其中 N是非终结符号的集合，T 是终结符号的集合，P是产生式集合，S 是开始符号。令集合 V= N∪T，那么 G 所描述的语言是 （50） 的集合。

（50）

A. 从 S出发推导出的包含 V中所有符号的串

B. 从 S出发推导出的仅包含 T 中符号的串

C. N中所有符号组成的串

D. T 中所有符号组成的串

A.①④

B.②⑤

C.③⑤

D.①⑤

此题为判断题(对，错)。