Theoretische Informatik II. WS 2007/2008 Jun.-Prof. Dr. Bernhard Beckert Ulrich Koch. 1. Teilklausur Vorname:... Nachname:...

Transkript

1 Theoretische Informatik II WS 2007/2008 Jun.-Prof. Dr. Bernhard Beckert Ulrich Koch 1. Teilklausur Persönliche Daten bitte gut leserlich ausfüllen! Vorname:... Nachname:... Matrikelnummer:... Klausurergebnis bitte nicht ausfüllen! Aufgabe 1:... Aufgabe 2:... Aufgabe 3:... Aufgabe 4:... Aufgabe 5:... (18 Punkte) (8 Punkte) (6 Punkte) (6 Punkte) (7 Punkte) Gesamtergebnis:... Note:...

2 Theoretische Informatik II, Multiple Choice (7+6+5 = 18 Punkte) Hinweis: Bei den folgenden Ankreuzaufgaben führen e Kreuze zu Punktabzug! Dabei werden insgesamt jedoch keinesfalls weniger als 0 Punkte für die jeweilige Teilaufgabe vergeben. (a) Registermaschinen (7 Punkte) Entscheiden Sie durch Ankreuzen, ob die folgenden Aussagen oder sind. Im LOOP-Programm loop x 1 do S end kann die Anzahl der Ausführungen von S dadurch beeinflusst werden, dass x1 in S geändert wird. Die if-then-else-anweisung lässt sich mit der while-anweisung simulieren. Jedes WHILE-Programm terminiert. Es gibt zu jedem GOTO-Programm ein äquivalentes GOTO- Programm, das nur einen Rücksprung enthält. (Dabei ist goto j ein Rücksprung, wenn das Sprungziel j :... syntaktisch vor goto j im Programm steht.) Es gibt zu jedem WHILE-Programm ein äquivalentes LOOP- Programm. Es gibt zu jedem GOTO-Programm ein äquivalentes WHILE- Programm. Es gibt zu jedem WHILE-Programm eine äquivalente Turing- Maschine.

3 Theoretische Informatik II, (b) Primitiv rekursive Funktionen (6 Punkte) Entscheiden Sie durch Ankreuzen, ob die folgenden Aussagen oder sind. Für jede natürliche Zahl k ist die Funktion f mit primitiv rekursiv. f(n 1,..., n k ) = k i=1 Jede primitiv-rekursive Funktion ist auch total. Jede totale Funktion ist primitiv-rekursiv. Die Ackermann-Funktion ist primitiv rekursiv. Es gibt zu jeder primitiv rekursiven Funktion ein äquivalentes LOOP-Programm. Es gibt zu jeder primitiv rekursiven Funktion eine äquivalente Turing-Maschine. (c) µ-rekursive Funktionen (5 Punkte) n i Entscheiden Sie durch Ankreuzen, ob die folgenden Aussagen oder sind. Alle µ-rekursiven Funktionen lassen sich mit nur einer Anwendungen des µ-operators definieren. Jede primitiv rekursive Funktion ist µ-rekursiv. Jede totale µ-rekursive Funktion ist primitiv-rekursiv. Jede µ-rekursive Funktion ist total. Es gibt zu jedem WHILE-Programm eine äquivalente µ-rekursive Funktion.

4 Theoretische Informatik II, Registermaschinen 1 (6+2 = 8 Punkte) (a) Ein WHILE-Programm (im Sinne dieser Aufgabe) hat eine der folgenden Formen: x i := c x i := x j x i := c op x j x i := x j op c x i := x j op x k P 1 ; P 2 if x i = 0 then P 1 end while x i 0 do P 1 end Dabei ist op {+,, }, x i, x j, x k sind Register, c ist eine Konstante aus IN 0, und P 1, P 2 sind WHILE-Programme. Die Funktion log : IN 2 0 IN 0 sei wie folgt definiert: { logx y falls x 2 und y 1 log(x, y) = undefiniert sonst i. Geben Sie ein Pseudocode-Programm für log an. Dieses darf nur die arithmetischen Operatoren +,, verwenden. Ansonsten muss es nicht den oben genannten Formvorgaben für WHILE-Programme genügen. Lösung: if x 1 then undef ; if y = 0 then undef ; z := 1; while z y do z := z x; r := r + 1 end; output r. 1 ii. Geben Sie nun ein WHILE-Programm für log an. Beachten Sie dabei auch, dass alle Register außer dem Ergebnis-Register am Ende der Programmausführung dieselben Werte wie am Anfang enthalten müssen. Lösung:. x 4 := x 1 1; if x 4 = 0 then x 1 := 1; while x 1 0 do x 1 := 1 end end; if x 2 = 0 then while x 1 0 do x 1 := 1 end end; x 4 := 1;. x 5 := x 4 x 2 ; x 5 := 1. x 5 ; while x 5 0 do x 4 := x 4 x 1 ; x 3 := x 3 + 1;. x 5 := x 4 x 2 ; x 5 := 1. x 5 end;. x 3 := x 3 1; x 4 := 0; x 5 := 0

5 Theoretische Informatik II, (b) Ein GOTO-Befehl (im Sinne dieser Aufgabe) hat eine der folgenden Formen: x i := c x i := x j x i := x i ± 1 if x i = 0 goto l Dabei sind x i, x j Register, c ist eine Konstante aus IN 0 und l ist ein Label. Ein GOTO-Programm (im Sinne dieser Aufgabe) hat die Form l 1 : B 1 ;...; l k : B k (k 1), dabei sind B 1,..., B k GOTO-Befehle und l 1,...,l k paarweise verschiedene Labels. Geben Sie ein GOTO-Programm an, das für keine Eingabe terminiert und aus höchstens drei Befehlen besteht. Lösung: 1 : x 1 := 0; 2 : if x 1 = 0 goto 1

6 Theoretische Informatik II, Registermaschinen 2 (3+1+2 = 6 Punkte) Gegeben sei das folgende LOOP-Programm P: loop x 1 do x 3 := x end; // (1) loop x 3 do x 2 := x 2 + x 3 end; // (2) x 3 := 0 (a) Füllen Sie die folgende Tabelle mit den Werten der Register x 1, x 2, x 3 an den beiden Programmstellen (1) und (2), und zwar jeweils i. für die Eingabe 3 und ii. für die Eingabe 5. Eingabe 3 x 1 x 2 x 3 (1) (2) Eingabe 5 x 1 x 2 x 3 (1) (2) (b) Welche Werte berechnet P für folgende Eingaben? i. Eingabe: 3 Ausgabe:... ii. Eingabe: 5 Ausgabe: (c) Welche Funktion f : IN 0 IN 0 berechnet P? f(n) = n... 2

7 Theoretische Informatik II, µ-rekursive Funktionen (6 Punkte) Zeigen Sie, dass die Funktion µ-rekursiv ist. kgv : IN 2 0 IN 0 kgv(x, y) = das kleinste gemeinsame Vielfache von x und y Dabei dürfen Sie alle Funktionen als µ-rekursiv voraussetzen, für die dies in der Vorlesung oder auf einem Aufgabenblatt schon bewiesen wurde, und zudem die folgende Funktion: Lösung: teilt : IN 2 0 IN 0 { 1 falls n 0 und n m ( n teilt m ) teilt(n, m) = 0 sonst kgv(x, y) = µi((1. (teilt(x, i) teilt(y, i))) = 0)

8 Theoretische Informatik II, Primitiv rekursive Funktionen (1+3+3 = 7 Punkte) Gegeben seien die folgenden primitiv rekursiven Funktionen: f 1 = + (. (π 2 1, c 2 5), (π 2 2, π 2 2)) f 2 = PR[(+1) 0, ((+1) π 2 1, π2 2 )] Dabei sei für alle s, k IN 0 und n 1,...,n k IN k 0 definiert: c k s(n 1,...,n k ) = s (a) Welche Stelligkeiten haben f 1 bzw. f 2? 2 Stelligkeit von f 1 :... 1 Stelligkeit von f 2 :... (b) Welche Werte berechnen f 1 bzw. f 2, falls alle Argumente... i. gleich 2 sind? 4 f 1 (...) =... 2 f 2 (...) =... ii. gleich 3 sind? 9 f 1 (...) =... 6 f 2 (...) =... (c) Was berechnen f 1 und f 2 im allgemeinen? n, m ) = (n.... 5) + m 2 f 1 (... f 2 ( n... ) = n!...