PDF-Datei (ca. 1 MByte)

Kapitel 11
Boolesche Funktionen
11.1 Motivation
Der Hamster hat einen sehr begrenzten Grundvorrat an Befehlen (vor();, links um();, nimm();,
gib();) und Testbefehlen (vorn frei(), maul leer(), korn da()). In Kapitel 8 haben Sie gelernt,
wie mittels der De nition von Prozeduren dem Hamster weitere Befehle beigebracht werden
konnen. In diesem Kapitel werden Sie einen Mechanismus kennenlernen, den Vorrat an
Testbefehlen zu erweitern. Dazu werden sogenannte boolesche Funktionen oder Testfunktionen
eingefuhrt.
Stellen Sie sich vor, Sie mochten einen neuen Testbefehl mauer da() de nieren, der genau dann
den Wert true liefert, wenn sich direkt in Blickrichtung vor dem Hamster eine Mauer be ndet.
Im Prinzip entspricht dies dem booleschen Ausdruck !vorn frei(), denn dieser liefert ja das
gewunschte Ergebnis. Prozeduren konnen Ihnen hier nicht weiterhelfen, denn diese konnen ja
keinen Wert liefern. Was Sie benotigen ist ein Sprachkonstrukt, uber das Sie einen neuen Namen
mauer da fur den neuen Testbefehl einfuhren und das immer dann, wenn Sie den Testbefehl
mauer da() aufrufen, den Wert des booleschen Ausdrucks !vorn frei() liefert.
Etwas komplizierter ist die folgende Situation: der Hamster soll ermitteln, ob sich links von
ihm eine Mauer be ndet oder nicht. Es soll also ein neuer Testbefehl links frei() eingefuhrt
werden. Ein solcher Testbefehl konnte dadurch realisiert werden, da sich der Hamster zunachst
nach links umdreht. Anschlie end kann er mit Hilfe des Testbefehls vorn frei() uberprufen,
ob die Kachel vor ihm frei ist. Falls der Aufruf des Testbefehls vorn frei() den Wert true
liefert, mu auch der Testbefehl links frei() den Wert true liefern, fur den false-Fall gilt
entsprechendes. Zu beachten ist jedoch, da sich der Hamster in beiden Fallen noch wieder nach
rechts umdrehen mu , um in seine Ausgangsposition zuruck zu gelangen.
Beide Beispiele lassen sich mit Hilfe sogenannter boolescher Funktionen realisieren. Bevor wir
deren Syntax und Semantik kennenlernen, wird zunachst die boolesche return-Anweisung eingefuhrt.
119