● 设某语言的语法规则用上下文无关文法G=(N,T,P,S)表示，其中N是非终结符号的集合，T是终结符号的集合，P 是产生式集合，S是开始符号，令V=N∪T，那么符合该语言的句子是 （50） 。（50）A. 从S 出发推导的、仅包含T 中符号的符号串B. 从N 中符号出发推导的、仅包含T 中符号的符号串C. 从S 出发推导的、包含V 中符号的符号串D. 从N 中符号出发推导的、包含V 中符号的符号串

● 对给定文法G=（VN，VT， P，S），VT={a，Λ，(，)}，VN={S，T}，S是开始符号，

P:

S→a|Λ|(T)

T→T,S|S

则（1）不是它的句子。该文法是（2）型文法。

（1）A. (a,(a,a)) B. (((a,a), Λ,(a)),a) C. ((a,a), Λ) D. ((a,a),(T))

（2）A．0型文法 B．1型文法 C．2型文法 D．正规文法

文法G所描述的语言是______的集合。

A.文法G的字符表V中所有符号组成的符号串

B.文法G的字符表V的闭包V*中的所有符号串

C.由文法的识别符号推出的所有符号串

D.由文法的识别符号推出的所有终结符号串

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

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．属性文法

已知文法G2=(VT={a,b}，VN={S，A}，S,P)，其中P为， S→Sb｜Ab A→aSb｜ε 该文法生成的语言是(28)。

A．{ambn｜n＞m≥0}

B．{ambn｜m＞n≥0}

C．{ambn｜n≥m≥1}

D．{ambn｜m≥n≥1}

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

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

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

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

D．从S出发推导出的仅包含T中符号的串

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

S→a|b|(T)

T→TdS|S

其中，VT={a，b，d，(，))；VN={S，T}，S是开始符号。考察该文法，句型(Sd(T)db)是S的一个(28)。

其中(29)是最左素短语，(30)是该句型的直接短语。

(74)

A．最左推导

B．最右摊导

C．规范推导

D．推导

己知某文法G[S]:S→0S0 S→1，从S推导出的符号串可用(21)(n≥0)描述。

A．(010)n

B．0n10n

C．1n

D．01n0

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

A．语法、语义

B．语法、语用

C．语义、语用

D．语法、语义、语用

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

S→SaT｜T

T→TbR｜R

T→PdR｜P P→fSg｜e

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

b(39)a：f(40)g；a(41)a；d(42)d。

A．正规文法

B．算符文法

C．二义文法

D．属性文法

设某语言的语法规则用上下文无关文法G=(N，T，P，s)表示，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，s是开始符号，令V=N∪T，那么符合该语言的句子是( )。

A．从s出发推导的、仅包含T中符号的符号串

B．从N中符号出发推导的、仅包含T中符号的符号串

C．从S出发推导的、包含V中符号的符号串

D．从N中符号出发推导的、包含V中符号的符号串

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

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

A.以终结符 a1,a2,…,an 为运算对象的布尔表达式串

B.以∨,∧,~为运算符，以[、]为分隔符的布尔表达式串

C.以终结符 a1,a2,…,an 为运算对象，以∨,∧,~为运算符，以[、]为分隔符的布尔表达式串

D.以[、]为分隔符的布尔表达式串

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

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

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

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

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

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

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

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

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

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

给定文法G[S]及其非终结符A，FIRST(A)定义为：从A出发能推导出的终结符号的集合(S是文法的起始符号，为非终结符)。对于文法G[S]： S→[L]|a L→L，S|S 其中，G[S]包含的4个终结符号分别为： a ， [ ] 则FIRST(S)的成员包括(48)。

A．a

B．a、[

C．a、[和]

D．a、[、]和，

已知某文法G[S]：S→0S0 S→1，从S推导出的符号串可用(21)(n≥0)描述。

A．(010)n

B．0n10n

C．1n

D．01n0

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

已知文法G1=(VT={a,b,d}，VN={S，A，B}，S,P)，其中P为， S→dAB A→aA|a B→bB|ε 该文法生成的语言是(28)。

A．{dambn|m≥0，n≥O}

B．{dambn|m≥1，n≥0}

C．{dambn|m≥0，n≥1}

D．{dambn|m≥1，n≥1}