Uiha, das ist ja gut dass die Lösung schon da ist.
Ein paar Fragen/Anmerkungen:
Bei Aufgabe 1 werden nicht angekreuzte Antworten gar nicht gewertet, oder? Habe ganz vergessen, das vor der Klausur zu fragen. Habe nämlich vorsichtshalber bei den unsicheren Sachen nichts angekreuzt.
Zu A2, da habe ich einen etwas umständlicheren Automaten:
Müsste aber auch volle Punktzahl geben, oder? Zumindest habe ich keinen Fall gefunden, für den der Automat was falsches akzeptiert. Man könnte die Sprache doch einfach auch formulieren als "alle Wörter, die mit einer 1 enden", oder?
Hm, bei Aufgabe 3 habe ich den Anfang so wie im Lösungshinweis und habe dann argumentiert, dass vwx aus höchstens 2 verschiedenen Buchstaben bestehen kann (Beispielwort habe ich
gewählt). Dann gibt es nach dem Aufpumpen auf
mehr a's als d's, und das darf nicht sein. Ist das auch richtig?
Der Algorithmus zu Aufgabe 4 ist mir in der letzten Minute klar geworden, habe dann aber leider keine Zeit mehr gehabt, ihn vollständig aufs Papier zu bringen und habe das, was noch fehlte schnell in Stichpunkten weiterformuliert. Ich hoffe die Bewertung ist gnädig und gibt da ein paar Punkte drauf.
Woohoo, Aufgabe 5 habe ich ja sogar richtig! Auch wenn ich da sehr viel Text im Vergleich zur Musterlösung geschrieben habe (erst Mal gesagt, dass L berechenbar ist, da endlich, und dann gezeigt, dass der Satz von Rice daher für L gilt, da L Teilmenge aller berechenbaren Funktionen aufgrund der Endlichkeit und somit unentscheidbar nach dem Satz).