BuK-Übung09

Aus ProgrammingWiki
< BuK < IIm12
Archivierte Version vom 2014-01-19T22:05:51+00:00. Aktuelle Version

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