S->CA|CB
C->a
A->DB
D->b
B->CA|a