Institut für Informatik - Martin-Luther-Universität Halle-Wittenberg

(b) Die Funktion f ∈ F3 mit
f(x,y,z) :=
ist primitiv-rekursiv.
Lösen Sie die aktuellen Autotool-Aufgaben!
Selbsttestaufgaben – unbewertet
x + y, falls x + y ≤ z
max(x,y), sonst
Selbsttest-Aufgabe 11.5: (0 Punkte)
Schreiben Sie je ein Turing-Programm zur Berechnung der
(a) 0-stelligen Nullfunktion o,
(b) Nachfolgerfunktion s,
(c) konstanten Funktion c m k (x1,x2,...,xm) := k (für k,m ∈ N),
(d) Projektionsfunktion I m k (x1,x2,...,xm) := xk (für k,m ∈ N, 1 ≤ k ≤ m).
Selbsttest-Aufgabe 11.6: (0 Punkte)
Geben Sie ein Programm einer Turingmaschine zur Berechnung der Funktion f : N → N mit
an.
f(x) :=
x
2
, falls x gerade
3x + 1, falls x ungerade
Selbsttest-Aufgabe 11.7: (0 Punkte)
Zeigen Sie, dass die Signum-Funktion sg ∈ F mit
0, falls n = 0
sg(n) :=
1, sonst
primitiv-rekursiv ist.
Übungsblätter und weitere Informationen zur Vorlesung bzw. Übung finden Sie unter:
http://nirvana.informatik.uni-halle.de/~theo/THEOlehre/THEOaktuell.html
Email: {staiger, winter, kogler}@informatik.uni-halle.de
.