доказательство двусмысленности

Question

ive пытался доказать грамматику двусмысленную, из моего понимания ее нет, но в соответствии с вопросом; он должен быть неоднозначным. Грамматика

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

строка ив использовании является AAAB. Из того, что кажется, я не вижу, как левые и правые деревья могут быть разными. Начнем с того, что строка является формой AB или aaB, если ее форма aaB, игра завершена, если ее форма AB, вы можете либо закончить, либо продолжить другую ветку в Aa.

Answer 1

Из того, что я могу видеть, есть ровно одна строка, которая имеет более одного дерева разбора (или, что эквивалентно, более чем один самый левый вывод): ааЪ

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

or 

S -> aaB -> aab 

Это одна строка делает грамматика неоднозначна ,