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

