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

