beschreibe Transformationen von Bäumen (Termen, Dokumenten) durch Regeln
Regel ist Paar von Termen mit Variablen: (f (x), g(x, x)),
Regelanwendung: wenn linke Seite paßt, dann ersetze durch entsprechende rechte Seite.
Beispiel h(1, f (f (2)))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)