Termination ,,von selbst``

am sichersten sind Programme, die ,,von selbst`` terminieren:

• ganz ohne Schleifen/Rekursion
• nur mit ,,einfachen`` Schleifen:

  for (int k = 0; k < 100; k++) { .. }
  
  Collection <T> c; for (T x : c) { .. }
  

  solche Schleifen dürfen auch geschachtelt sein

  ...sog. primitiv rekursive Funktionen