A->xA
A->xA
A->xA