LL(1)で文法を考えてたんですけど、
式は一般的な形で最終的に、数値か識別子か括弧の式になります。それで
文 ::= 代入文 | 式文
代入文 ::= 識別子 ':=' 式文
式文 ::= 式 ';'
という文法だと、代入文と式文の両方のfirst(n)に識別子が含まれて駄目ですよね。
でもよくありそうな文法で、文法を変形したり、何かアイディアあったら教えてください。