已知文法G[S]是无二义的，它定义的语言L（G[S]）中的一个句子x和一个句型y，下面正确的是_______

已知二义文法G[S]为：

  S→if S else S

  S→if S

  S→S: S

  S→a

  该文法终结符的优先性和结合性说明如下：

  (1)else与最近的if结合；

  (2)“;”与“a”优先性高于if；

  (3)“;”与“a”优先性高于else；

  (4)终结符之间满足左结合。

  根据上述条件，为文法G[S]构造无冲突的SLR(1)分析表。

描述命题演算公式的二义性文法G(S)为： S→S and S｜S or S｜not S｜p｜q｜(S) 试为它写一个等价的无二义性文法。

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

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

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

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

A.最左推导和最右推导对应的语法树必定相同

B.最左推导和最右推导对应的语法树可能相同

C.最左推导和最右推导必定相同

D.可能存在两个不同的最左推导，但他们对应的语法树相同

可能有两个不同的文法G和G′，期中一个是二义的而另一个是无二义的，但是却有L(G)=L(G′)。()

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

A、LL(1)

B、LR(0)

C、LR(1)

D、其它三个选项都是