Funktionsanwendung
engl.: function application
Bedeutung
Bezeichne f eine Funktion, a ein zulässiges Argument von f. Die Anwendung von f auf a nennen wir eine Funktionsanwendung (engl. function application); meist schreibt man dafür f (a) oder f a. Den Prozess der Berechnung des Funktionswerts nennen wir Auswertung (engl. evaluation). Die Auswertung kann:
nach endlich vielen Schritten terminieren und ein Ergebnis liefern (normale Terminierung, engl. normal termination),
nach endlich vielen Schritten terminieren und einen Fehler melden (abrupte Terminierung, engl. abrupt termination),
nicht terminieren, d.h. der Prozess der Auswertung kommt (von alleine) nicht zu Ende.