S -> 'a' S B | B
A -> 'ab'
B -> A | 'b'