BuK/IIm12/BuK-Übung09

Wiki-Quelltext dieser Seite.

== WHILE-berechenbarkeit der Ackermann-Peter-Funktion ==

Weisen sie nach, dass die Ackermann-Peter-Funktion (AP-Funktion) WHILE-berechenbar ist.

Die AP-Funktion ist definiert durch:

 AP(0, y) = y + 1
 AP(x, 0) = AP(x - 1, 1), x > 0
 AP(x, y) = AP(x - 1; AP(x, y - 1)), x, y > 0