Aufgabe 1. Zeigen Sie, dass die folgenden Funktionen primitiv rekursiv sind. Es d¨ urfen primitiv rekursive Funktionen verwendet werden, die in der Vorlesung bereits besprochen wurden.

Dabei d¨urfen Sie alle in der Vorlesung als primitiv/µ-rekursiv nachgewiesene Funktionen als µ- rekursiv voraussetzen.. Dabei bezeichnet A die

F¨ur diese Aufgabe d¨urfen die in der Vorlesung eingef¨uhrten Konstrukte und LOOP - berechenbaren Funktionen d¨urfen verwendet werden.. Sie d¨urfen f¨ur diese Aufgabe die in

(20%=10%+10%) F¨ur die folgenden Aufgaben d¨urfen Sie alle Funktionen verwenden, die bereits in der Vorlesung oder in der ¨ Ubung als primitiv-rekursiv nachgewiesen wur- den. Zeigen

• Diagonalisierung liefert f¨ur jede effektiv aufz¨ahlbare Menge von totalen Funktionen eine Diagonalfunktion d, die total, effektiv und nicht in der Menge liegt.. Will man

Beachte: Ein primitiv rekursiver Ausdruck stellt stets f¨ur jedes n eine Funktion dar.. Diese k¨onnen recht

Problem: Rekursionsgleichungen (Kleenesche Normalform) lassen sich nicht direkt verwenden.. Argumente müsen “Zahl” als

Beachte: Ein primitiv rekursiver Ausdruck stellt stets f¨ur jedes n eine Funktion dar.. Diese k¨onnen recht

Wir werden Anweisungen durch Zahlen codie- ren und dementsprechend Programme durch die Codierungen der Zahlenfolgen darstellen.. Um die Interpreterfunktion zu simulieren ben¨otigen