Theoretische Informatik A/B | Informatik
17.08.2000
Art der Hochschule:
Universität
Prüfungsort:
Hagen
Studienfach:
Informatik
Art der Prüfung:
Vordiplom
Prüfungsfach:
Theoretische Informatik A/B
Dauer:
30-40 Minuten
Note:
2;
Konntest du mit einem selbst gewählten Thema beginnen?
keine Angabe
Versucht der Prüfer bei Schwierigkeiten zu helfen?
keine Angabe
Prüfungsablauf / Tipps
Eindruck
Alles in allem ist Herr ***** ein sehr angenehmer und netter Prüfer, der es versteht,
seinem Prüfling die Nervosität zu nehmen.
Er leitet seine Fragen meist mit einigen Sätzen ein, so daß einem recht schnell klar wird, um
was es ihm geht. Man merkt ihm auch recht gut an, ob eine Frage zu seiner Zufriedenheit
beantwortet wurde oder ob ihm noch etwas fehlt.
Da ich aufgrund meiner recht kurzen Vorbereitungszeit einige
Unsicherheiten hatte und öfter etwas geschwommen bin, fand ich die Benotung recht fair.
Tips zur Vorbereitung
Zur Prüfungsvorbereitung ist außer alten Prüfungsprotokollen
(1) (2)
das einwöchige Seminar in Bad Bevensen wärmstens zu empfehlen.
Sehr hilfreich dürfte auch das Lernskript von Thomas Schwarze, der Themenüberblick von Thorsten Rood und die FAQ von Simone Jandt sein.
Alles in allem ist Herr ***** ein sehr angenehmer und netter Prüfer, der es versteht,
seinem Prüfling die Nervosität zu nehmen.
Er leitet seine Fragen meist mit einigen Sätzen ein, so daß einem recht schnell klar wird, um
was es ihm geht. Man merkt ihm auch recht gut an, ob eine Frage zu seiner Zufriedenheit
beantwortet wurde oder ob ihm noch etwas fehlt.
Da ich aufgrund meiner recht kurzen Vorbereitungszeit einige
Unsicherheiten hatte und öfter etwas geschwommen bin, fand ich die Benotung recht fair.
Tips zur Vorbereitung
Zur Prüfungsvorbereitung ist außer alten Prüfungsprotokollen
(1) (2)
das einwöchige Seminar in Bad Bevensen wärmstens zu empfehlen.
Sehr hilfreich dürfte auch das Lernskript von Thomas Schwarze, der Themenüberblick von Thorsten Rood und die FAQ von Simone Jandt sein.
Prüfungsfragen
- Berechenbarkeit
- Wann heißt eine Zahlenfunktion berechenbar?
Eine Zahlenfunktion f : Í INk®IN
heißt berechenbar, gdw. sie von einer Registermaschine berechnet wird. - Wäre denn die Funktion f : IN×IN®IN, f (x, y) : = x y berechenbar?
Ja, denn sie ist offensichtlich primitiv rekursiv (Die Exponentiation ist ja bereits per Definition eine primitiv rekursive Grundfunktion). Alternativ könnte man natürlich auch eine Registermaschine dazu angeben. - Wann heißt eine Wortfunktion berechenbar?
Eine Wortfunktion g : Í (S*)k®S*
heißt berechenbar, gdw. sie von einer Turing- oder Bandmaschine berechnet wird. - Ist denn Turingberechenbarkeit das gleiche wie Bandberechenbarkeit?
Ja, denn jede Bandmaschine ist trivialerweise auch eine Turingmaschine (mit nur einem Band) und
umgekehrt läßt sich eine k-band Turingmaschine mit einer Bandmaschine simulieren,
indem man die einzelnen Bänder jeweils als Spuren eines einzelnen Bandes interpretiert. Man muß natürlich das Bandalphabet erweitern, da ein
Zeichen des neuen Bandalphabets nun aus k Zeichen des ursprünglichen besteht, sowie
eine zusätzliche Markierung der ursprünglichen Zeichen notwendig ist, um sich die Kopfposition der Bänder zu merken. - Wir hatten jetzt berechenbare Zahlen- und berechenbare Wortfunktionen. Hängen die irgendwie miteinander zusammen?
Zunächst ordnet eine bijektive Nummerierung n : IN®S* jedem Wort (genau) eine natürliche Zahl zu und umgekehrt.
Nun gilt: Ist f : Í INk®IN
berechenbar, so ist auch g : Í (S*)k®S*
definiert durch g := n -1 f n berechenbar
und entsprechend umgekehrt mit f := n g n -1.
Der Vektor n ist dabei einfach n komponentenweise angewendet. - Wir haben die ganze Zeit von Funktionen gesprochen, die berechenbar heißen, wann ist denn so eine Funktion nun berechenbar?
Mit der Churchen These folgt ja letztendlich, daß Funktionen, die per Definition berechenbar heißen,
genau den intuitiven Berechenbarkeitsbegriff bilden, somit also (maschinell) berechenbar sind. - Kann man diese These denn beweisen?
Nicht wirklich, da man "intuitiv berechenbar" ja formal nicht ausdrücken kann.
Im Allgemeinen wird die Churchsche These allerdings als richtig angesehen. - Wir haben im Kurstext eine Programmiersprache für einstellige Funktionen definiert. Wie sieht die aus?
j : IN®P (1) mit ji (n) : = j (i) (n) := i -1 ° fM ° i ° nM ° nP (i) (n),
wobei i die Unärcodierung von n
und nM ° nP die Bandmaschine des i-ten Bandprogramms darstellen.
ji (n) ist
dann also der vom i-ten Programm berechnete Funktionswert
mit dem Argument n. - Was sind da jetzt die Programme von j?
Die natürlichen Zahlen, denen eine partielle Funktion aus P (1) zugeordnet wird. - Welche zwei Anforderungen stellt man an eine vernünftige Programmiersprache?
(U) Man möchte mit dem Programm P auf einer Maschine S(P) ausrechnen können, also "x Î Def (S (P) ) den Wert
S (P) (x).
Formal wird das durch das utm-Theorem ausgedrückt:
Sei uj : Í IN2®IN, uj (i, x) : = ji (x).
Dann ist uj (die universelle Funktion) berechenbar.
Anschaulich heißt das, daß
es eine universelle "Maschine" uj gibt, die anhand der Eingabe
von i und x das i-te Programm
mit der Eingabe x ausführt. - Nochmal zu den Anforderungen an eine Programmiersprache: Sie haben jetzt eine erläutert, wie sieht es mit der anderen aus?
(S) Man möchte zu je zwei Programmen P, Q ein Programm R für die Komposition effektiv konstruieren können, so daß
j (R) = j (P) ° j (Q) gilt...
(Hier unterbrach mich Prof. *****) - Was sagt das smn-Theorem über die effektive Komposition von Programmen aus? Da gibt es doch einen Satz.
Der Satz besagt, daß sich Programme lassen genau dann effektiv hintereinander schalten lassen, wenn das smn-Theorem erfüllt ist. - Es gibt ja unheimlich viele Programmiersprachen. Sind die völlig anders als unser j oder hängen die irgendwie alle zusammen?
Nach dem Äquivalenzsatz von Rogers sind genau die Programmiersprachen äquivalent, die das utm- und das
smn-Theorem erfüllen. Also wenn man eine weitere Programmiersprache y : IN®P (1) hat,
die ebenfalls (utm) und (smn) erfüllt, gilt (notwendig und hinreichend) y º j.
- Was heißt jetzt genau äquivalent? Wie haben wir die Relation º im Kurstext formal definiert?
Da mußte ich passen. Auch ein kleiner Tip half mir nicht wesentlich weiter. Herr *****
erkläre dann selbst die Äquivalenz von y und j mit Hilfe zweier
Übersetzungsfunktionen, die y in j übersetzen und umgekehrt. - Wann ist eine Teilmenge der natürlichen Zahlen rekursiv?
Eine Menge A Í INk ist rek.
Û Die charakteristische Funktion cfA ist berechenbar
Û A und INk \ A sind rekursiv aufzählbar (*)
Û $ f Î R (k) : A = f -1 {0}
Hier hatte ich versehentlich noch eine Definition angegeben, die die rekursive Aufzählbarkeit charakterisiert, was mir aber bei der Beantwortung der nächsten Frage selbst aufgefallen ist. - Hmm, dann schreiben Sie doch mal auf, wann eine Teilmenge der natürlichen Zahlen rekursiv aufzählbar ist!
Eine Menge A Í INk ist r. a.
Û $ f Î P (k) : A = Def (f)
Û $ f Î R (k) : A = Bild (f) oder A = Ø
- Gegenüber welchen Mengenoperationen sind denn rekursive Aufzählbarkeit und Rekursivität abgeschlossen?
Die rekursive Aufzählbarkeit ist bezüglich Vereinigung und Durchschnitt abgeschlossen, während die Rekursivität darüber hinaus noch bezüglich Komplementbildung abgeschlossen ist. - Kennen Sie ein Beispiel für eine nicht rekursiv aufzählbare Menge?
Das Komplement von Kj, denn wäre das rekursiv aufzählbar, dann wäre Kj ja wegen (*) rekursiv. Widerspruch! - Kennen Sie auch ein Beispiel für eine nicht rekursiv aufzählbare Menge, deren Komplement ebenfalls nicht rekursiv aufzählbar ist?
Nach kurzem Überlegen: Nein. Prof. ***** hat mir dann eine solche Menge definiert.
- Wann ist eine Sprache regulär?
Wenn sie von einer rechtslinearen Grammatik erzeugt bzw. von einem endlichen Automaten erkannt wird. - Wenn man einen nichtdeterministischen Automaten hat, wie kann man dazu einen deterministischen bauen, der genau das gleiche macht?
Man konstruiert den Potenzautomaten zu dem nichtdeterministischen Automaten. - Wie konstuiert man den?
(kurze Erklärung) - Was steht in den Knoten eines Potenzautomaten?
Eine Teilmenge der ursprünglichen Knotenmenge. - Welche Knoten im Potenzautomaten werden zu Endzuständen des Potenzautomaten?
Jeder Knoten, der ein Element der ursprünglichen Knotenmenge enthält, das im ursprünglichen
Automaten bereits Endzustand war. - Kennen Sie eine kontextfreie Sprache, die nicht kontextsensitiv ist?
Ja,
Naja, man baut einen Kellerautomaten, der zuerst alle a's auf den Stack legt und dann für alle b's wieder ein a von Stack nimmt... (Das reichte ihm schon)
Die Sprache ist kontextfrei. Hätte man {w#wR | w Î S*},
also die gleiche Sprache mit einem Trennsymbol # zwischen dem Wort und seinem Spiegelbild, dann könnte man einfach
einen Kellerautomaten bauen, der zuerst das Wort bis zum Trennsymbol auf den Keller schreibt und dann das Spiegelbild
zeichenweise mit dem obersten Element im Keller vergleicht und dieses bei Übereinstimmung entfernt.
Da man jedoch in {wwR | w Î S*}
kein solches Trennzeichen hat, muß der Kellerautomat eben nichtdeterministisch umschalten.
Bereits wenn es eine Möglichkeit (einen Pfad im Baum) gibt, die Sprache zu erkennen.
- Gut, wir machen jetzt mal einen riesen Sprung und kommen zur Komplexitätstheorie.
Kennen Sie den Satz von Savage? Was besagt dieser Satz bezüglich des Nichtdeterminismusses?
Mir ist der Satz entfallen. Ich habe zuerst versucht, mich mit LOGSPACE Í NLOGSPACE Í P Í NP Í PSPACE = NPSPACE Í UcÎIN ZEIT (cn) etwas rauszureden,
um vom Thema abzulenken, aber das ging natürlich in die Hose. Letztendlich hat Herr ***** den gewünschten Satz selbst
skizziert (wie im Kurstext).
Studienfächer
- Amerikanistik (22)
- Anglistik (6)
- Archäologie (1)
- Architektur (2)
- Automatisierungstechnik (2)
- Bauingenieurwesen (5)
- Betriebswirtschaftslehre (14)
- Biochemie (8)
- Biologie (25)
- Buchkunst (1)
- Chemie (6)
- Design (1)
- Dramaturgie (1)
- Elektrotechnik (6)
- Energietechnik (1)
- Erziehungswissenschaft (5)
- Französisch (1)
- Gartenbau (3)
- Geographie (12)
- Geologie (5)
- Germanistik (4)
- Geschichte (4)
- Griechisch (1)
- Haushalts-, Ernährungswissenschaft (1)
- Informatik (22)
- Journalistik (2)
- Kommunikationstechnik (1)
- Kommunikationswissenschaft (1)
- Kunstwissenschaft (3)
- Landschaftsplanung (1)
- Lebensmittelchemie (2)
- Maschinenbau (3)
- Mathematik (67)
- Medizin (19)
- Metalltechnik (1)
- Mikrosystemtechnik (1)
- Mineralogie (2)
- Pädagogik/Erziehungswissenschaft (4)
- Pharmazie (1)
- Philosophie (1)
- Physik (16)
- Politikwissenschaft (2)
- Portugiesisch (1)
- Psychologie (815)
- Raumfahrttechnik (5)
- Rechtswissenschaft (3)
- Sozialpädagogik (1)
- Soziologie (4)
- Sportwissenschaften (3)
- Städtebau (1)
- Technische Informatik (1)
- Theaterwissenschaften (1)
- Verkehrsingenieurwesen (6)
- Volkswirtschaftslehre (4)
- Wirtschaftsmathematik (6)
Studienorte
- Aachen (43)
- Bamberg (1)
- Berlin (15)
- Bielefeld (6)
- Bochum (5)
- Bonn (3)
- Braunschweig (9)
- Bremen (2)
- Chemnitz (1)
- Clausthal (3)
- Darmstadt (7)
- Dortmund (5)
- Dresden (306)
- Duisburg (6)
- Düsseldorf (18)
- Eichstätt (1)
- Emden (2)
- Erlangen (4)
- Essen (5)
- Frankfurt am Main (192)
- Freiberg (1)
- Freiburg (5)
- Gießen (1)
- Göttingen (3)
- Graz (2)
- Hagen (8)
- Hamburg (4)
- Hannover (6)
- Heidelberg (8)
- Heilbronn (1)
- Ilmenau (1)
- Jena (2)
- Kaiserslautern (4)
- Karlsruhe (4)
- Kassel (6)
- Kiel (2)
- Köln (7)
- Leipzig (5)
- Magdeburg (4)
- Mainz (359)
- Mannheim (3)
- Marburg (2)
- Mönchengladbach (3)
- München (3)
- Münster (3)
- Oldenburg (2)
- Pforzheim (2)
- Potsdam (7)
- Recklinghausen (1)
- Regensburg (2)
- Reutlingen (2)
- Rostock (3)
- Saarbrücken (4)
- Stuttgart (7)
- Trier (6)
- Tübingen (9)
- Ulm (6)
- Weimar (1)
- Wernigerode (1)
- Wien (1)
- Wuppertal (1)
- Zwickau (1)