设文法G（S)： S→aS|Sb|a|b，则文法G（S)所识别语言的正规式为_________________________。

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

考虑下述文法，S为开始符号 G1[S]：S→A A→aAb | ab G2[S] S→AA→aA |a| 下列结论中为真的是(28)。

A．G1是LR(0)文法，G2不是LR(1)文法

B．G2是LR(0)文法，G1不是LR(1)文法

C．G2是LR(1)文法，G1不是LR(1)文法

D．G1和G2都是LR(1)文法

A.aa*|bb*|cc*

B.(aa*|bb*)cc*

C.aa*(bb*|cc*)

D.(a|b|c)*

:

已知文法G1＝(VT＝{a,b,d}，VN＝{S，A，B}，S,P)，其中P为： S→dAB A→aA|a B→bB|ε 该文法属于(28)文法。

A．0型

B．上下文有关

C．上下文无关

D．正规

文法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：S→b｜∧｜(T)T→T，S｜S则FIRSTVT(T)=(41)。

A．{b，∧，(}

B．{b，∧，)}

C．{b，∧，(，，}

D．{b，∧，)，，}

A.S→→dA∣lA∣εA→dA∣lA∣ε

B.S→dS∣lS∣d∣l

C.S→Sl∣Sd∣l

D.S→dA

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

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

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}

已知文法G2=(VT={a，'，'，(,)}，VN={S，L)，S,P)，其中P为 S→(L)|a L→-L，s|s 与G2等价的不含左递归规则的文法是(29)。

A．G21=(VT={a，'，'，(,)}，VN={S，L}，S，P)，其中P为 S→(L)|a L→S，S|S

B．G22=(VT＜a，'，'，(,)}，VN={S，L，L'}，S，P)，其中P为 S→(L)|a L→SL' L'→SL'|ε

C．G23=(VT{a，'，'，(,)}，VN={S，L，L'}，S，P)，其中P为 S→(L)|a L→SL' U→,SL'|ε

D．G24=(VT=(a，'，'，(,)}，VN=＜S，L，L'}，S，P)，其中P为 S→(L)|a L→SL' L→SL'|S

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