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

Die folgenden drei Definitionen sind einfache Beispiele für Funktionsdefinitionen:

1 f(p, q, x, y) =if p ∨ q then 2x + 1 else 3y − 1 fi

2 g(x) =if even(x) then x ÷ 2 else 3x − 1 fi

3 h(p, q) =if p then q else false fi

Bevor wir zur eigentlichen Definition applikativer Algorithmen kommen, müssen wir unsere Verfahren der Termauswertung auf die Auswertung definierter Funktionen ausweiten.