grammar - 如何显示以下语法有歧义？

Question

我定义了以下语法：

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

经过一段时间的工作，我仍然找不到一个字符串来构造一个独特的解析树来表明这个语法是模棱两可的。比如：aaabbb，abab等。看起来这个语法是明确的。有什么帮助吗？

Answer 1

这个语法是模棱两可的。aabb可以通过两种不同的方式导出字符串：

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