一个上下文无关文法G包括四个组成部分：一组终结符，一组非终结符，一个（），以及一组（）。A、字符串B、产生式C、开始符号D、文法

由某上下文无关文法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=(N，T，P，S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号。令集合V=N∪T，那么G所描述的语言是(50)的集合。

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

B．从S出发推导出的仅包含厂中符号的串

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

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

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 中所有符号组成的串

假设某程序语言的文法如下：

S→SaT|T

T→TbR|R

R→PdR|P

P→fSg|e

其中Vr＝{a，b，d，e，f，g}；Vn＝{S，T，R，P}；S是开始符号，那么，此文法是(43)文法。这种文法的语法分析通常采用优先矩阵。优先矩阵给出了该文法中各个终结符之间的优先关系(大于、小于、等于和无关系)。在上述文法中，某些终结符之间的优先关系如下：b{(44)}a；f{(45)}g；a{(46)}a；d{(47)}d。

A．五则文法

B．算符文法

C．二义文法

D．属性文法

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

（50）A. 该文法推导出的句子必须以“a”开头

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

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

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