grammar - あいまいさを証明する

Question

私は文法があいまいであることを証明しようとしてきました.私の理解ではそうではありませんが、質問によると. それはあいまいであるべきです。文法は

S -> AB | aaB
A -> a | Aa
B -> b

使用している文字列は aaab です。どうやら、左と右のツリーが異なる可能性があるとは思えません。最初は文字列が AB または aaB 形式の場合、aaB 形式の場合はゲーム オーバー、AB 形式の場合は a で終了するか、Aa で別の分岐を続けることができます。

Answer 1

私が見る限り、複数の解析ツリー (または同等に、左端の派生が複数) を持つ文字列は 1 つだけです: aab

S -> AB -> AaB -> aaB -> aab

or

S -> aaB -> aab

この 1 つの文字列により、文法があいまいになります。