S -> a
A -> b
B -> a
S -> A B
A -> A A
B -> A B

