证明含糊不清

Question

我一直试图证明一个语法含糊不清，从我的理解不是，但根据问题;它应该是模棱两可的。 语法是

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

我一直在使用的字符串是aaab。从它看来，我没有看到任何方式左，右树可以是不同的。首先，字符串是AB或aaB形式，如果是aaB形式，游戏结束，如果是AB形式，则可以以a结尾，或者在Aa中继续另一个分支。

Answer 1

从我所看到的，只有一个字符串具有多个解析树（或者等效地，多于一个最左边的派生）：aab

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

or

S -> aaB -> aab

这一个字符串使语法不明确。