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)
Johannes Waldmann
2006-02-02