1

次の BNF 文法が LL(1) であるかどうかを確認してください。

S ::= A B B A
A ::= a
A ::=
B ::= b
B ::=

ここで、S は開始記号であり、非端子 A と B はイプシロンに導き出すことができます。解析テーブルの 1 つのセルに 2 つ以上のプロダクションがある場合、文法は LL(1) ではありません。しかし、セルに既にイプシロンが含まれている場合、解析テーブルを作成するときに、それを新しい生成物に安全に置き換えることができるでしょうか?

4

1 に答える 1

2

この文法はあいまいであるため、任意の k に対して LL(1) でも LL(k) でもありません。

単一のaorを入力として取り、 からのまたは参照bのいずれかと一致することを確認します。したがって、文法が曖昧であることを証明する 2 つの異なる構文木があります。ABS

于 2012-09-17T09:30:02.127 に答える