Jede fußgeprüfte
Schleife kann in eine kopfgeprüfte Schleife umgewandelt werden, indem man den
Schleifenkörper
nochmal vor die Schleife setzt.
Beweis
Auf der vorigen Seite hatten wir das Programm
"Straße an der Ampel überqueren" betrachtet:
Nun versuchen wir, ob man aus der fußgeprüften Schleife
einfach eine kopfgeprüfte Schleife machen kann:
Doch schon die 1.Anweisung ist unlogisch: Wie soll das
Kind beurteilen ob die Ampel rot ist, wenn es noch garnicht
die Ampel beobachtet hat (geschieht ja erst im Schleifenkörper).
Wenn man aber den Schleifenkörper nochmals vor die Schleife
setzt, wird daraus ein vernünftiger Programm:
Nun versuchen wir, ob man aus der fußgeprüften Schleife
einfach eine kopfgeprüfte Schleife machen kann:
Doch schon die 1.Anweisung ist unlogisch: Wie soll das
Kind beurteilen ob die Ampel rot ist, wenn es noch garnicht
die Ampel beobachtet hat (geschieht ja erst im Schleifenkörper).
Wenn man aber den Schleifenkörper nochmals vor die Schleife
setzt, wird daraus ein vernünftiger Programm:
