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

Die Idee applikativer Algorithmen besteht darin, eine Definition zusammengesetzter Funktionen durch Terme mit Unbestimmten vorzunehmen. Eine einfache Funktionsdefinition in diesem Sinne kann wie folgt mathematisch notiert werden:

f(x) = 5x + 1

Streng genommen erfüllt die Funktionsdefinition erst zusammen mit dem bereits skizzierten Auswertungsalgorithmus für Terme unsere Anforderungen an eine Algorithmensprache – erst die Termauswertung legt die Reihenfolge der atomar auszuführenden Berechnungsschritte fest.

In diesem Abschnitt beschränken wir uns zur Vereinfachung der Definitionen auf Funktionen über int und bool, obwohl die Konzepte natürlich für beliebige Datentypen gelten.

Bevor wir eine Sprache zur Formulierung applikativer Algorithmen einführen, müssen einige grundlegende Konzepte definiert werden.