1

LL(3)がLR(2)のサブセットではないことを証明しようとしています。

直感的には簡単ですが、そのような文法を見つけることに直感を向けることはできません。

手を貸していただけませんか。助けてくれてありがとう

4

2 に答える 2

3

定理:文法が LL(3) であるが LR(2) でない場合、その文法には ε プロダクションがあります。

証明:ハンドルの先頭から 3 文字を読み取った後、常に正しい文形式でハンドルを識別できる場合、その文法は LL(3) です。

ハンドルの末尾から 2 文字を読み取った後、常に正しい文形式でハンドルを識別できる場合、文法は LR(2) です。

文法が LL(3) で LR(2) ではない場合、ハンドルの先頭から 3 文字を読み取ると、ハンドルの末尾から 2 文字を読み取るよりも多くの情報が得られる場合があります。これは、ハンドルが空の場合にのみ発生します。

于 2013-02-09T17:07:15.773 に答える
3

どうやら、トリックは ε プロダクションを使用することです。

次の文法が機能します。

S->aa|Aaaa

A->ε
于 2012-12-10T22:29:00.590 に答える