grammar - 次の文法があいまいであることを示す方法は?

Question

次の文法を定義しています。

S -> A|B, A -> aAb | ab, B -> aBb | epsilon;

しばらく作業した後でも、この文法が曖昧であることを示す独特の構文木を構築するための文字列を見つけることができませんでした。のように: aaabbb、abab など。この文法は明確であるように思われました。何か助けはありますか？

Answer 1

この文法はあいまいです。文字列aabbは、次の 2 つの方法で取得できます。

S => A => aAb => aabb
S => B => aBb => aaBbb => aabb