SMALLTALK K1ex127-.45ex51275ahler/Bothner

310 15 Programmierung von Suchverfahren
Der Begriff der “rekursiven” Methode
Eine Methode, deren Selektor im eigenen Methodenrumpf innerhalb einer Anforderung
auftritt, nennt man eine rekursive Methode.
Charakteristisch für die Ausführung einer rekursiven Methode ist es, daß immer die
gleichen Anforderungen – jedoch mit unterschiedlichen Werten in den Argumenten
der Methode – ausgeführt werden.
Damit gesichert ist, daß dieser Prozeß zu irgendeinem Zeitpunkt abbricht, muß
innerhalb einer rekursiven Methode mindestens ein Abbruchkriterium enthalten sein.
Im Normalfall wird das Abbruchkriterium als erste Anforderung innerhalb der Methode
angegeben, so daß es vor einem weiteren rekursiven Methodenaufruf derselben
Methode ausgeführt und somit geprüft werden muß.
Hinweis: Da bei jedem rekursiven Aufruf ein Methodenexemplar im Hauptspeicher eingerichtet
wird, kann es vorkommen, daß der Speicherplatz nicht ausreicht. Das SMALLTALK-
System eröffnet in diesem Fall ein Walkback-Fenster (siehe Anhang A.3), das die Titel-Zeile
Smalltalk Express stack overflow
enthält.
Rekursive Lösung von PROB-11
Um PROB-11 durch den Einsatz einer rekursiven Methode lösen zu können, werden
wir die in der ursprünglichen iterativen Lösung verwendeten Methoden “verbindung-
Iter:” und “verbindung:iter:” wie folgt durch die Methode “verbindungRek:” und
die rekursive Methode “verbindung:rek:” ersetzen:
verbindungRek:
Bilde den Nachfolger−Sammler, der nur den Abfahrtsort enthält
verbindung:rek:
verbindung:rek:
Nachfolger−Sammler ist leer?
true
false
"keine
Ankunftsort ist im Nachfolger−
IC−Verb" true Sammler enthalten?
false
"IC−Verb
existiert"
verbindung: (self alleNachfolger: nachfolgerSammler) rek: ankunft
alleNachfolger:
Ersetze sämtliche Objekte des Nachfolger−Sammlers durch ihre direkten Nachfolger
Abbildung 15.6: Struktogramme für die rekursive Lösung von PROB-11
Die ersten beiden Struktogramme setzen wir durch die Vereinbarung der Methode
“verbindungRek:” in der Form
verbindungRek: ankunft
| nachfolgerSammler |
nachfolgerSammler := OrderedCollection new.