14、如果一个文法的任何产生式的右部都不含有两个相继（并列）的非终结符，则该文法是算符优先文法。

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

在形式语言中，文法G是一个四元组G=(VN，Vr，P，Z)，其中VN为(6)。若文法C的产生式集P为：

(1)Z→Bc (2)Z→Zc (3)B→Ab (4)B→Bb (5)A→Aa (6)A→a

则文法G是(7)文法，识别G的自动机为(8)。对于G来说，(9)为文法G可接受的字符串，(10)为文法G不可接受的字符串。

供选择的答案：

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.LL(1)文法

B.算符优先文法

C.二义性文法

D.SL(1)文法

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

给定文法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、[、]和，

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

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

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