下面的文法产生的表达式是对整型和实型常数应用算符+形成的。当两个整数相加时，结果仍为整数，否则就是实数。

（a）给出一个语法制导定义以确定每个子表达式的类型。
（b）扩充（a）中的语法制导定义把表达式翻译成前缀形式，并且决定类型。使用一元算符inttoreal把整型值转换成相等的实型值，以使得前缀形式中的+的两个操作对象是同类型的。

根据自上而下的语法分析方法，构造下面文法的LL（1）分析表。

下面左右两个文法等价，请指出其中有几个文法不是LR（1）文法，并给出它们不是LR（1）文法的理由。

为下面的文法构造LALR(1)分析表。

证明下面文法是SLR（1）文法，并构造其SLR分析表。

试分析下面给出的if-then-else语句的文法，它的提出原本是为了矫正dangling-else （悬而未决的-else）文法的二义性：

试说明此文法仍然是二义性的。

给出接受下列在字母表{0，1}上的语言的DFA。
（1）所有以00结束的符号串的集合。
（2）所有具有3个0的符号串的集合。