Zählschleifen

• Idee: vor Beginn steht Anzahl der Durchläufe fest.
• dann erhält man die Klasse der primitiv rekursiven Funktionen, die terminieren immer!

richtig realisiert ist das nur in Ada:

for p in 1 .. 10 loop ... end loop;

• Zähler p wird implizit deklariert
• Zähler ist im Schleifenkörper konstant

Vergleiche (beide Punkte) mit Java, C++, C