\begin{slide}{Idee}

beschreibe \emph{Transformationen} von Bäumen (Termen, Dokumenten)
durch \emph{Regeln}

Regel ist Paar von Termen mit Variablen: $(f(x),g(x,x))$, 

Regelanwendung:
wenn linke Seite \emph{paßt},
dann \emph{ersetze} durch  entsprechende rechte Seite.

Beispiel $h(1,f(f(2))) \to_R h(1,g(f(2),f(2)))$.

Regelsystem in XSLT hinschreiben,
mit Prozessor (z. B. Saxon, Xalan) 
auf XML-Dokument anwenden.

einfachster Fall: XML nach HTML (formatierte Ausgabe)

\end{slide}


