engl.: function application

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.