S->AB|BC
A->BA|a
B->CC|b
C->AB|a