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

