Недавно я думал о следующей BNF
A -> x | yA | yAzA where x,y,z are terminals.
Я почти уверен, что эта грамматика неоднозначна, но как сделать ее однозначной?