06.08.2013 Aufrufe

PDF-Datei (ca. 1 MByte)

PDF-Datei (ca. 1 MByte)

PDF-Datei (ca. 1 MByte)

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

10.2. WHILE-ANWEISUNG 101<br />

while-Anweisung<br />

Wiederholungsanweisung<br />

Anweisung (6)<br />

boolescher<br />

while ( )<br />

Ausdruck<br />

while-<br />

Anweisung<br />

Grundbefehl<br />

Prozeduraufruf<br />

Blockanweisung<br />

Leeranweisung<br />

Auswahlanweisung<br />

Wiederholungsanweisung<br />

Abbildung 10.2: Syntaxdiagramm: while-Anweisung<br />

Anweisung<br />

ist die while-Anweisung unmittelbar beendet. Falls die Bedingung erfullt ist, wird die Iterationsanweisung<br />

einmal ausgefuhrt. Anschlie end wird die Schleifenbedingung erneut ausgewertet.<br />

Falls sie immer noch erfullt ist, wird die Iterationsanweisung ein weiteres Mal ausgefuhrt. Dieser<br />

Proze (Uberprufung der Schleifenbedingung und falls diese erfullt ist, Ausfuhrung der Iterationsanweisung)<br />

wiederholt sich solange, bis (ho entlich) irgendwann einmal die Bedingung nicht<br />

mehr erfullt ist.<br />

10.2.3 Korrekte Hamsterprogramme<br />

Im folgenden werden zu Hamsteraufgaben die Hamsterlandschaften nicht mehr explizit angegeben,<br />

sondern nur noch durch ihre charakteristischen Merkmale beschrieben. Hamsterprogramme<br />

mussen fur alle (!) Landschaften korrekt arbeiten, die die Merkmale bei Start des Programms<br />

erfullen. Arbeitet ein Hamsterprogramm auch nur fur eine gegebene Landschaft, die die Merkmale<br />

erfullt, nicht korrekt, gilt das Hamsterprogramm insgesamt als fehlerhaft.<br />

Gegeben eine Hamsteraufgabe und eine Charakterisierung einer Hamsterlandschaft. Ein Hamsterprogramm<br />

ist korrekt (bzgl. der Hamsteraufgabe und der Landschaftscharakterisierung),<br />

wenn es alle folgenden Bedingungen erfullt:<br />

Es mu syntaktisch korrekt sein.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!