G -> S
S -> aS
S -> abT
T -> bT
T -> 
