Advertisement

Auszug

Die bislang vorgestellten Konstruktionsanleitungen haben sich an den Daten orientiert, auf denen sie operieren. Das funktioniert auch bei induktiv definierten Daten. Für die Konstruktion von Prozeduren auf induktiven Daten werden die Konstruktionsmethoden für zusammengesetzte und gemisehte Daten kombiniert, wie dieses Kapitel zeigen wird. Diese beiden Techniken allein reichen allerdings noch nicht aus, da induktive Definitionen zusätzlich noch einen Selbstbezug ins Spiel bringen. Die Konstruktionstechnik für Funktionen bzw. Scheme-Prozeduren auf selbstbezüglichen Daten heißt Rekursion, und um die geht es in diesem Kapitel.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© B. G. Teubner Verlag / GWV Fachverlage GmbH, Wiesbaden 2007

Personalised recommendations