問題タブ [ll]

私は現在、暇なときにドラゴンブックを読んでいます。この本は、文法がLLであると述べているのは、プロダクションA-> a | bの場合に限り、次の2つの条件が当てはまる場合です。

1）FIRST（a）とFIRST（b）は互いに素です。これは、両方がEMPTYを導出できないことを意味します

2）「b」がEMPTYを導出できる場合、「a」はFOLLOW（A）で始まる文字列を導出できません。

LLパーサーは一般に左再帰を処理できないことは知っていますが、文法を作成すると

S-> S（S）| 空、

FIRST（S）= {'（'}およびFOLLOW（S）= {EOF}。これは2つのルールのいずれにも矛盾しないようですが、何かが足りませんか？

よろしくお願いします、マイケル

私はウィキペディアで両方を読んでいて、LR(0) パーサーは存在しますが、LL(0) パーサーのようなものは存在しないことに気付きました。

私が読んだことから、LL(k)/LR(k) の k は、パーサーが現在作業中の現在の文字を超えて認識できる文字数を意味することを理解しています。

私の質問は、LR(0) が存在するにもかかわらず、LL(0) パーサーなどがないのはなぜですか?

これは ll コマンドの通常の出力です

この出力がこのようなものかどうかお聞きしたいのですが、

"c" とはどういう意味ですか?

私は次の文法を持っています：

S→aSbS| b S a S | ε

そのための小さなコンパイラを書こうとしているので、LL(1)にしたいと思います。ここで FIRST/FOLLOW の競合が発生しているようです。それを解決するには置換を使用する必要があることはわかっていますが、どうすればよいか正確にはわかりません。これが私の提案する文法ですが、それが正しいかどうかはわかりません:

S-> aSbT | イプシロン

T-> bFaF| イプシロン

F->イプシロン

誰か助けてくれませんか？

ですから、宿題があり、この文法がLLパーサーで機能しない理由を調べるために2時間以上費やしました。

誰かが私を正しい方向に向けてくれませんか？LLがつまずく可能性がある方法の1つは、ここでは信じられない無限ループに遭遇した場合です。

ありがとう

次のようなプロダクションに FIRST() ルールを適用するにはどうすればよいですか。

A -> AAb | アブ | s

ここで、A は非終端記号で、b,s は終端記号です。

選択肢 1 と 2 の FIRST(A) は再び A になりますが、FIRST セットを取得するには端末が必要なので、これは FIRST の無限の適用に終わりますか?

この文法を考えると：

S → S ₁ S ₂

S ₁ → a | ε

S ₂ → ab | ε

したがって、

FIRST(S ₁ ) = { a, ε }

FOLLOW(S ₁ ) = { a }

これは、解析テーブルで、S ₁の行との列に複数の定義があることを意味しますaか?