验证下列文法是否为LL（1）文法。

对于如下文法，求各候选式的FIRST集和各非终结符号的FOLLOW集。

消除下列文法的左递归性。

设有基本块

（1）画出DAG图；
（2）假设基本块出口时只有A，B还被引用，请写出优化后的四元序列。

设布尔表达式的文法为

假定它们将用于条件控制语句中，请
（1）改写文法，使之适合进行语法制导翻译和实现回填；
（2）写出改写后的短个产生式的语义动作。

已知文法G（E）

（1）给出句型（T*F＋i）的最右推导及画出语法树；
（2）给出句型（T*F＋i）的短语、素短语。