Читать книгу Algorithmen und Datenstrukturen - Gunter Saake - Страница 72
Definition 3.2 Applikativer Algorithmus
ОглавлениеEin applikativer Algorithmus ist eine Liste von Funktionsdefinitionen:
f1(v1,1, …, v1,n1) | = | t1(v1,1, …, v1,n1), |
⋮ | ||
fm(vm,1, …, vm,nm) | = | tm(vm,1, …, vm,nm). |
Die erste Funktion f1 wird wie beschrieben ausgewertet und ist die Bedeutung (Semantik) des Algorithmus.
Applikative Algorithmen sind die Grundlage einer Reihe von universellen Programmiersprachen, wie APL, Lisp, Scheme, Haskell oder Scala etc. Diese Programmiersprachen werden als funktionale Programmiersprachen bezeichnet.
Ein applikativer Algorithmus muss nicht für alle Eingabewerte zu einem definierten Ergebnis führen. Das folgende Beispiel verdeutlicht dies.