Să se ordoneze alfabetic şirul bcaacbac prin aplicarea producţiilor de mai jos:

1. ba→ab2. ca→ac3. cb→bc

Iteraţia Context Mulţime conflictuală Regula declanşată0 bcaacbac 2,3,1 11 bcaacabc 2,2 22 bacaacbc 1,2,3 13 abcaacbc 2,3 24 abacacbc 1,2,3 15 aabcacbc 2,3 26 aabaccbc 1,3 17 aaabccbc 3 38 aaabcbcc 3 39 aaabbccc Ø Stop