文法G＝({E),{+,*,(,),a},P,E)，其中P由下列产生式组成E-＞E+E|E*E|(E)|a。它生成由a,+,*,(,)组成的算术表达式，该文法在乔姆斯基分层中属于(16)型文法，其对应的自动机是(17)，如产生句子a*a+a，它的派生树是(18)，且最左派生由(19)种，该文法是(20)。A．0B．1C．2D．3

文法G=(VT，VN，P，S)的类型由G中的(21)决定。若GO=({a，b}，{S，X， Y}，P，S)，P中的产生式及其序号如下：

1：S→XaaY

2：X→YY|b

3：Y→XbX|a

则GO为(22)型文法，对应于(23)，由GO推导出句子aaaa和baabbb时，所用产生式序号组成的序列分别为(24)和(25)。

A．VT

B．VN

C．P

D．S

文法G=({E}，{+，*，(，)，a}，P，E)，其中P由下列产生式组成E-＞E+E|E*E|(E)|a。它生成由a，+，*，(，)组成的算术表达式，该文法在乔姆斯基分层中属于(33)型文法，其对应的自动机是(34)，如产生句子a*a+a，它的派生树是(35)，且最左派生由(36)种，该文法是(37)。

A．0

B．1

C．2

D．3

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

考察下列文法：G(VT，VN，E，P)

其中：VT＝{+，*，(，)，i}

VN＝{E，T，F}

E是开始符号；

P：

E→E+T|T

T→T*F|F

F→(E)|i

F*F+T是该文法的一个句型，其中(53)是句柄，(54)是素短语。(55)是该句型的直接推导，(56)是该句型的最左推导。(57)是该文法的一个句子。

A．F

B．F*F

C．F+T

D．F*F+T

考查下列文法：G(VT,VN,E，P)

其中：VT={+，*，(，)，i)

VN={E，T，F}

E 是开始符号

P： E→E+T｜T

T→T*F｜F

F→(E)｜I

F*F+T是该文法的一个句型，其中，(28)是句柄，(29)是素短语(30)是该句型的直接推导，(31)是该句型的最左推导，(32)是该文法的一个句子。

A．F

B．F*F

C．F+T

D．F*F+，T