S -> s
A -> a
B -> b
S -> A B | B A
A -> A B b | B B a

