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

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

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

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

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

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