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