證明模棱兩可

Question

我一直試圖證明一個語法模棱兩可，從我理解它的不是，而是根據這個問題;它應該是模棱兩可的。 語法是

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

一直使用IVE字符串爲AAAB。從看起來，我沒有看到任何方式左右樹可以不同。首先字符串是AB或aaB形式，如果它的aaB形式，遊戲結束，如果它的AB形式，你可以以a結尾，或者在Aa中繼續另一個分支。

Answer 1

從我所看到的，恰好有一個字符串，它有一個以上的分析樹（或等價地，不止一個最左推導）：AAB

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

or 

S -> aaB -> aab 

這一根弦，使語法歧義。