TERMINALS: abc
VARIABLES: SABCXYZ
START: S
S->AX
S->BY
S->CZ
S->AA
S->BB
S->CC
X->SA
Y->SB
Z->SC
A->a
B->b
C->c
STRING: abacbbcaba