Z tego wynika ze w + mozesz skonczyc ale nie musisz - stad ta epsilonowa strzalka w pierwszym (na szczescie nie zmienia to rozwiazania).
1)gramatyka wyglada tak:
Start -> A | AbAbA
A -> epsilon | Aa
A reszty juz nie zrobie bo ide spac

(ale te sa trudniejsze od tego co dales na poczatku)