am sichersten sind Programme, die ,,von selbst`` terminieren:
for (int k = 0; k < 100; k++) { .. } Collection <T> c; for (T x : c) { .. }
...sog. primitiv rekursive Funktionen