TERMINALS: ab
VARIABLES: SABC
START: S
S->AB
S->BC
A->BA
A->a
B->CC
B->b
C->AB
C->a
STRING: abab