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.



Johannes Waldmann 2007-01-30