证明下述文法不是LL（1)的。 S→C$ C→bA |aB A→a|aC|bAA B→b|bC|aBB 能否构造一等价的文法，使其是LL（1)的？并给出判断过程。

证明文法

是LR(1)但不是SLR(1)。(其中‘S’相当于‘#’)

文法G[E]是LL(1)文法：

其中EEEF为非终结符。

构造文法G[E]的LL(1)分析表。

试验证如下文法G[E]是LL(1)文法：

其中E，F，E'，F'为非终结符

文法GIE]是LL(1)文法：

其中E，F，E'，F'为非终结符。

对文法G[E]构造递归下降分析程序。

考虑文法S AS|b

A SA|a

(1)构造文法的LR(0)项目集规范族及相应的DFA。

(2)如果把每一个LR(0)项目看成一个状态，并从每一个形如Ba：Xb的状态出发画一条标记为X的箭弧刀状态Ba.Xb，而且从每一个形如Ba.Ab的状态出发画标记为的箭弧到所有形如A●g的状态。这样就得到了一个NFA。说明这个NFA与(a)中的DFA是等价的。

(3)构造文法的SLR分析表。

(4)对于输入串bab，给出SLR分析器所作出的动作。

(5)构造文法的LR(1)分析表和LALR分析表。

设S={a,b},试证明半群不是可交换的。这里·是函数的合成。

A.L(G[S])={ab,bc}

B.L(G[S])={abc}

C.L(G[S])={abc,abc}

D.L(G[S])={ac,abc}