Partielle Berechenbarkeit

Prinzip des VorgehensUm die Korrektheit zu beweisen, betrachten wir Zeile 5.1. Sofern Zeile 5 das erste Mal erreicht ist, gilt erg = 2 = 2 1 .2. Beim i+1-ten erreichen von Zeile 5 hingegen ist erg = 2 * 2 i = 2 i+1 .3. Deshalb ist, sofern die Schleife n Mal durchlaufen ist, der Wert von ergam Ende genau 2 n .4. Wird die Schleife überhaupt nicht durchlaufen, d.h. ist n = 0, so gilterg = 1 = 2 0 .5. Sobald Zeile 7 erreicht wird, hat erg somit den Wert von 2 n .14.26