Universität Leipzig Prof. Dr.

Andreas Maletti
Institut für Informatik Maria Arndt, Danil Kiryakin,
Sommersemester 2023 Karin Quaas

Aufgaben zur Lehrveranstaltung

Berechenbarkeit
Serie 4

▶ Die Übungsaufgaben werden in den Übungen ab dem 29.5. besprochen.

▶ Abgabeschluss für Hausaufgaben: 11.6.2023 um 22:00 Uhr im Moodle-Kurs.
▶ Sie können gern in 2er-Gruppen abgeben. Bitte schreiben Sie dazu die Namen und
Matrikelnummern beider Personen auf das Blatt und reichen Sie Ihre Lösungen
über einen Account ein.

Übungsaufgabe 4.1 (primitive Rekursion lesen)

Gegeben sei die folgende primitiv rekursive Definition der einstelligen Funktion h:

(2)
h = pr[0(0) , pr[nf⟨0(0) ⟩, 0(2) ]⟨π1 ⟩]

(a) Geben Sie für alle echten Teilfunktionen von h die Stelligkeit an und welche
Funktion diese berechnen.

(b) Geben Sie h(2) an.

(c) Geben Sie h( x ) für x ∈ N an.

Übungsaufgabe 4.2 (primitive Rekursion schreiben)

Gegeben seien die folgenden Funktionen:
(
1 falls x = y
eql : N × N → N mit ( x, y) 7→
0 sonst
pot : N × N → N mit ( x, y) 7→ y x
( √
1 falls x ∈ N
quad : N → N mit x 7→
0 sonst
√
rt’ : N → N mit x 7→ ⌊ x ⌋

Geben Sie für jede der gegebenen Funktionen eine primitiv rekursive Darstellung an.
Sie dürfen dabei Abkürzungen aus der Vorlesung benutzen.

Seite 1 von 3
Übungsaufgabe 4.3 (µ-Rekursion schreiben)
Gegeben sei die folgende partielle Funktion:
√
rt : N 99K N mit x 7→ x

Zeigen Sie, dass diese Funktion µ-rekursiv darstellbar ist, indem Sie für eine geeignete
Funktion f zeigen, dass µ f = rt.

Seite 2 von 3
Hausaufgabe 4.4 (primitive Rekursion lesen)
Gegeben sei die folgende primitiv rekursive Definition der einstelligen Funktion h:

(2) (2)
h = pr[1(0) , mult⟨π1 , nf⟨π2 ⟩⟩]

(a) Geben Sie für alle echten Teilfunktionen von h die Stelligkeit an. (3)

(b) Geben Sie h(3) an. (1)

(c) Geben Sie h( x ) für x ∈ N an. (2)

Hausaufgabe 4.5 (primitive Rekursion schreiben) (5)

Gegeben seien die folgenden Funktionen:
(
1 falls x = y · t
teiler : N × N × N → N mit (t, x, y) 7→
0 sonst
(
0 falls x = 0
notNull : N → N mit x 7→
1 sonst
(j k
x
falls y > 0
div′ : N2 → N mit ( x, y) 7→ y
0 sonst

Geben Sie für jede der gegebenen Funktionen eine primitiv rekursive Darstellung an.
Sie dürfen dabei Abkürzungen aus der Vorlesung benutzen.

Hausaufgabe 4.6 (µ-Rekursion schreiben) (4)

Gegeben sei die folgende partielle Funktion:
x
div : N2 99K N mit ( x, y) 7→
y

Zeigen Sie, dass diese Funktion µ-rekursiv darstellbar ist, indem Sie für eine geeignete
eine Funktion f zeigen, dass µ f = div.

Seite 3 von 3