给定文法G[S]：

⑴请构造该文法的以LR（O）项目集为状态的识别规范句型活前缀的DFA。
⑵请构造该文法的LR（O）分析表。
⑶什么是LR（O）文法？该文法是LR（O）文法吗？为什么？
⑷什么是SLR（1）文法？该文法是SLR（1）文法吗？为什么？

设已构造出文法G（S）：
（1）S→BB
（2）B→aB
（3）B→b
的LR分析表如下

假定输入串为abab，请给出LR分析过程（即按照步骤给出状态，符号，输入串的变化过程）。

将语句
翻译成四元式。

设某语言的do-while语句的语法形式为

其语义解释为：

针对自下而上的语法分析器，按如下要求构造该语句的翻译模式：
（1）写出适合语法制导翻译的产生式；
（2）写出每个产生式对应的语义动作。

设文法G（S）：

1．构造各非终结符的FIRSTVT和LASTVT集合；
2．构造优先关系表和优先函数。

对于文法G（E）：

1.写出句型（T*F+i）的最右推导并画出语法树。
2.写出上述句型的短语，直接短语、句柄和素短语。

对表达式文法G[E]：

（1）判断G[E]是否为LL（1）文法。若不是，改造为LL（1）文法。
（2）构造预测分析表，并对输入串w=a-a^a#进行预测分析。