Theoretische Informatik Probeklausur SS 99

Werbung
Eidgenossische
¨
Technische Hochschule
Zurich
¨
Ecole polytechnique federale
´ ´
de Zurich
Politecnico federale di Zurigo
Swiss Federal Institute of Technology Zurich
Institut für Theoretische Informatik
Dr. Bernd Gärtner
Juli 1999
Theoretische Informatik
Probeklausur
SS 99
In der Klausur werden weniger Aufgaben gestellt werden. Die Musterlösung
wird am 1. September ins Netz gehängt.
Viel Spass.
Aufgabe 1
Zeige:
prim ist keine reguläre Sprache.
Aufgabe 2
Welche der folgenden Funktionen sind in
begründe.
für ein
IN? Gib, falls möglich, das kleinstmögliche
an und
(a)
(b)
(c)
(d)
(e)
(f)
(g)
Aufgabe 3
In einem ungerichteten Graphen
nennt man eine k-elementige Teilmenge
von , bei der für jede
Kante
wenigstens einer der Knoten oder in
liegt, ein Vertex Cover der Grösse von . Ein
Vertex Cover der Grösse von heisst minimal, wenn es kein Vertex Cover der Grösse
gibt.
Das Entscheidungsproblem
(gibt es in
ein Vertex Cover mit höchstens
vollständig. Gib drei Gründe an, wieso der folgende Beweis dafür falsch ist.
Wir reduzieren
auf
Knoten) ist NP-
. D.h. wir definieren eine Funktion f so dass gilt:
Die Funktion übersetzt
in eine SAT- Formel in KNF. Für jede Kante
Klausel
ein. Zudem führen wir für jede Teilmenge der Knoten der Grösse
verhindert, dass alle diese Variablen wahr gesetzt werden.
führen wir eine
eine Klausel ein die
Wir müssen noch zeigen, dass die obige Gleichung stimmt:
erfüllende Belegung finden, indem wir
wieder genau die
in
: Falls
ein Vertex Cover der Grösse
wahr setzen genau wenn
.
ist, so können wir eine
: Falls wir eine erfüllende Belegung für SAT haben, so können wir
aufnehmen, für die
wahr gilt.
Aufgabe 4
Sei
. Zeige dass folgende Sprachen durch endlich viele Anwendungen von Vereinigung, Konkatenation
und Komplement (bezüglich
) aus ,
und
erzeugt werden können. (d.h. ohne *-Operator)
(a)
(b)
Hinweis: Achte auf Wörter, die nicht in
vorkommen dürfen.
Aufgabe 5
Sei eine unendliche reguläre Sprache gegeben durch einen erkennenden DEA
Aussagen.
(a) Jede endliche Teilsprache von
. Beweise die folgenden drei
ist regulär.
(b) Es gibt eine unendliche, echte Teilsprache von , die regulär ist.
(c) Es gibt unendlich viele verschiedene, unendliche, reguläre Teilsprachen von .
Aufgabe 6
In Serie , Aufgabe haben wir eine Nicht-Links-Turingmaschine definiert, und bewiesen, dass Nicht-LinksTuringmaschinen genau die regulären Sprachen erkennen. Nun erweitern wir dieses Modell um einen weiteren
Schreib-Lese-Kopf. Die Maschine
hat also zwei Schreib-Lese-Köpfe, die sie entweder nach rechts bewegen
oder stehen lassen, aber nicht nach links bewegen kann.
SL - Kopf
a
a
a
a
a
b
b
b
b
b
b
b
SL - Kopf
(a) Kann
alle regulären Sprachen erkennen? Begründe Deine Antwort!
(b) Gibt es nichtreguläre, kontextfreie Sprachen, die
(Hinweis: Betrachte
.)
(c) Die Sprache
(d) Zeichne die Sprachklasse von
erkennt?
ist nicht kontextfrei. Kann
in das folgende Diagramm ein.
Menge aller Sprachen
Turing--erkennbare Sprachen
kontextfreie Sprachen
sie erkennen?
Aufgabe 7
(a) Zeichne einen DEA, der die Sprache aller Wörter, die das Teilwort
nicht enthalten, erkennt.
(b) Gib eine reguläre Grammatik für diese Sprache an.
Aufgabe 8
Gib einen äquivalenten DEA für den folgenden NEA an.
1
0
a
b
0
0
1
Herunterladen