S,A,B,C
a,b,c
S->aC,aA->bB,B->c,C->acA
S