Termersetzung ist
- Turing-vollständiges Berechnungsmodell
- Grundlage für funktionale Programmierung
- Grundlage für Symbolisches Rechnen
- (Grundlage für XML-Transformationen mit XSLT, ...)
Für Anwendungen wichtig sind
- Termination (keine unendlich langen Rechnungen)
- Konfluenz (eindeutige Ergebnisse von Rechnungen)
- Ableitungskomplexität (Länge von Rechnungen
als Funktion der Startgröße)
Johannes Waldmann
2015-12-11