\begin{slide}{Wort- und Term-Ersetzung}

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

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

\bigskip

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))))))$

\bigskip

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

\bigskip

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

\end{slide}
