G -> S
S -> AB
A -> a
B -> SC
C -> b
