Eingabe: Feld von Zahlen x[0 .. n-1] Zahl s := 0; // Invariante: s = x[0] + .. + x[i-1] für ( Zahl i von 0 bis n-1 ) { s := s + x[i]; } Ausgabe s;
