文法G产生的什么的全体是该文法描述的语言（)。

A.句型

B.终结符集

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

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

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

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

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

●试题二

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

【问题1】

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

【问题2】

经改写后的文法是否是LL (1) 的？指出它的预测分析表中 (1) ～ (3) 处的内容。

【问题3】

说明输入串(a，a)是否为G的句子。

A.4

B.2

C.0

D.1

A.句子

B.产生式

C.单词

D.句型

程序设计语言包括(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．语法、语义、语用

A.必有ac

B.必有ca

C.必有ba

D.A～C都不一定成立

A.递归的

B.前后丈无关的

C.二义性的

D.无二义性的