Klausurtext im PDF-Format - Fachgebiet Theoretische Informatik ...

AUFGABE 5.Die Funktion b : N → N sei durch folgende Festsetzung definiert:b(n) = max{ i | a(i, i) ≤ n + 1 }.Hierbei bezeichnet a(., .) die Ackermannfunktion.Zeigen Sie, dass die Funktion b total und berechenbar ist.Hinweis: Geben Sie ein GOTO-Programm oder ein WHILE-Programm an, das b berechnet,oder zeigen Sie, dass b µ-rekursiv ist. Außerdem müssen Sie zeigen, dass derWert b(n) für alle n ∈ N existiert. Es dürfen alle Funktionen verwendet werden, vondenen in der Vorlesung gezeigt wurde, dass sie berechenbar sind.9