Ackermannova funkce: Porovnání verzí

Lze dokázat, že nejen hodnotu, ale ani výpočetní složitost této funkce nelze omezit strukturovaným algoritmem, který by obsahoval pouze konečné množství cyklů typu ''for'' (a žádné cykly typu ''repeat'' nebo ''untilwhile'').