如何显示以下语法是不明确的？

Question

我定义了以下语法：

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

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

Answer 1

这个语法含糊不清。字符串aabb可以通过两种不同的方式派生：

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