Wort- und Term-Ersetzung

Man kann aus jedem Wort (= Folge von Buchstaben) einen Term konstruieren,

Beispiel: abaab $\approx$ a(b(a(a(b($\epsilon$))))).

Damit ist sind Wortersetzungssysteme ein Spezialfall von Termersetzungssystemen.

Beispiel: aabb$\to$bbbaaa $\approx$ a(a(b(b(x))))$\to$b(b(b(a(a(a(x))))))

Alle Aussagen über TES gelten auch für WES.

einige Aussagen über WES sind spezieller, da es für Wörter eine assoziative Verknüpfung gibt, aber für Terme nicht.