Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

2.6.3. Auswertung von Funktionen
2.6. Applikative Algorithmen
Eine Funktionsdefinition gemäß Definition 2.2 definiert eine Funktion
¢ ¢ Ò
Sind Ò Werte vom Typ Ò, so ersetzt man bei der Auswertung von Ò
im definierenden Term jedes Vorkommen von Ú durch und wertet Ø Ò aus.
¯ Ò heissen aktuelle Parameter
¯ Ò heißt Funktionsaufruf
Beispiel 2.10 Beispiele (Erweiterung von Beispiel 2.9):
1. Ô Õ Ü Ý if Ô Õ then Ü else Ý fi
bool ¢ bool ¢ int ¢ int int
true true
2. Ü if even Ü then Ü ¤ else Ü fi
3. Ô Õ if Ô then Õ else false fi
Bemerkung: Ô Õ ÔÕ
int int
bool ¢ bool bool
false false false
2.6.4. Erweiterung der Funktionsdefinition
Erweiterung der Klassen der Terme und Funktionsdefinitionen: Aufrufe definierter
Funktionen dürfen als Terme verwendet werden.
Beispiel 2.11 Erweiterte Funktionsdefinitionen:
Ü Ý if Ü Ý then Ü Ý else Ü Ý fi
Ü Ý Ü Ý odd Ý
Ü Ü £ Ü
Ü Ü
35