grammar - 证明歧义

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

这一个字符串使语法模棱两可。