Humbug - die Klasse der WHILE-Programme ist sehr wohl Turing-vollständig (wie kommt man eigentlich auf die Idee, hier zu klugsch... wenn man nicht mal weiß, wie Turing geschrieben wird?) Zur Frage: Primitive Rekursion ist äquivalent zu beschränkter Iteration (wie bei LOOP-Programmen). WHILE-Programme können aber auch unbeschränkte Iteration, was äquivalent zu μ-Rekursion ist. Das ist (nach Satz von Ackermann) in der Tat stärker als primitive Rekursion. -- AlgorithMan 15:13, 19. Aug. 2015 (CEST)