如何顯示以下語法不明確？

Question

我有以下的語法定義：

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

工作一段時間後，我仍然無法找到一個字符串，構建一個獨特的解析樹，以表明該語法是不明確的。像：aaabbb，abab等。看起來這個語法是毫不含糊的。任何幫助？

Answer 1

該語法不明確。字符串aabb可以用兩種不同的方式導出：

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