Idee

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