Читать книгу Algorithmen und Datenstrukturen - Gunter Saake - Страница 66

Definierte Funktionen können mit konkreten Werten aufgerufen und ausgewertet werden. Eine Funktionsdefinition gemäß Definition 3.1 definiert eine Funktion der folgenden Signatur:

f : τ₁ × … × τ_n → τ

Sind nun a₁, .., a_n Werte vom Typ τ₁, .., τ_n, so ersetzt man bei der Auswertung von f(a₁, .., a_n) im definierenden Term jedes Vorkommen der Unbestimmten v_i durch den Wert a_i und wertet dann den entstehenden Term t(a₁, .., a_n) aus.

Aufruf und Auswertung von Funktionen

Die konkreten Werte a₁, …, a_n heißen aktuelle Parameter. Den Ausdruck f(a₁, …, a_n) bezeichnen wir als Funktionsaufruf.