\begin{slide}{Termersetzung/Anwendungen}

Termersetzung ist 
\begin{itemize}
\item
  Turing-vollständiges Berechnungsmodell
\item
  Grundlage für funktionale Programmierung
\item
  Grundlage für XML-Transformationen mit XSLT
\end{itemize}

Für Anwendungen wichtig sind
\begin{itemize}
\item
  Termination (keine unendlich langen Rechnungen)
\item
  Konfluenz (eindeutige Ergebnisse von Rechnungen)
\end{itemize}

\end{slide}
