Rozważmy poniższy algorytm, gdzie n jest liczbą całkowitą nieujemną:
(1) wynik ← 0;
(2) dopóki n ≠ 0 wykonuj
(3) wynik ← wynik + (n mod 10)
(4) n ← n div 10
oraz:
mod to operator reszty z dzielenia,
div to operator dzielenia całkowitego.
Dla podanego algorytmu zachodzi:
| 1. | dla n=36789 wynik=30. | P | F |
|---|---|---|---|
| 2. | dla n=11111111 wynik=8. | P | F |
| 3. | wynik jest równy sumie cyfr w zapisie dziesiętnym liczby n. | P | F |
| 4. | dla n=1234 zmienna wynik po kolejnych iteracjach pętli dopóki przyjmuje wartości 1, 3, 6, 10. | P | F |