6

私は文法を持っていますが、それが LL(1) にないことを証明したいと思います:

S->SA|A
A->a

これは左再帰文法であるため、最初のセットと次のセットを見つけるために、左再帰を排除して次のようにしました。

S->AS'
S'->AS'|Empty
A->a

first of A={a}      follow of S={$}
first of s'={a,ε}   follow of S'={$}
first of S={a}       follow of A={a,$}

しかし、解析テーブルに入力すると、2 つのエントリを持つセルが得られませんでした。では、与えられた文法が LL(1) にないことをどのように証明するのでしょうか?

4

2 に答える 2