Idee: die beiden Aufgaben sind äquivalent:
Beispiel: y = ABB, z = BC
für x = CABA gilt xy und xz,
wobei die Relation auf so definiert ist:
uv, falls man v aus u durch Löschen einiger Buchstaben erhält (jedoch ohne die Reihenfolge der übrigen Buchstaben zu ändern)
vgl. mit Ausgabe von diff