Termersetzung/Anwendungen

Termersetzung ist

• Turing-vollständiges Berechnungsmodell
• Grundlage für funktionale Programmierung
• Grundlage für XML-Transformationen mit XSLT

Für Anwendungen wichtig sind

• Termination (keine unendlich langen Rechnungen)
• Konfluenz (eindeutige Ergebnisse von Rechnungen)