Theoretische Informatik 1+2

Wintersemester 2021/2022, Übungsblatt Nr.1

Ausgabe: Mo, 25.10.21 Prof. Dr. I. Rutter,
Abgabetermin: Mo, 01.11.21 Peter Stumpf, Miriam Münch, Niko Fink
Besprechung: Do, 04.11.21

Aufgabe 1 Geheimer DEA [ 2.5 Punkte ]

Gegeben sei ein DEA Mgeheim mit genau 3 Zuständen über dem Alphabet {a, b, c}. Über das Formular auf der Webseite
https://students.fim.uni-passau.de/~finksim/theoinf/exc-dea.php
können Sie Eingaben an Mgeheim senden und erhalten Rückmeldung, ob Mgeheim Ihre Eingabe akzeptiert oder nicht. Das
leere Wort können Sie durch Leerlassen des Eingabefelds prüfen. Bestimmen Sie die Zustandsübergänge und Finalzustände
von Mgeheim und beweisen Sie, dass der von Ihnen gefundene DEA genau dem von Mgeheim implementierten geheimen DEA
entsprechen muss.

Aufgabe 2 Schnitt zweier Sprachen [ 3.5 + 0.5 = 4 Punkte ]

Gegeben seien die folgenden zwei deterministischen endlichen Automaten (DEAs) M1 , M2 .
b a b b a, b

a b
a a
p0 p1 p2 q0 q1 q2
a b
M1 M2

Seien L1 , L2 die von den beiden DEAs akzeptierten Sprachen.

(a) Geben Sie einen DEA an, der L1 ∩ L2 akzeptiert.
(b) Wie muss man den DEA abwandeln, damit er stattdessen L1 \ L2 akzeptiert?
Hinweis: Der abgewandelte DEA muss nicht vollständig angegeben werden. Eine Beschreibung des Unterschieds genügt.

Aufgabe 3 Umkehrung regulärer Sprachen [ 4 Punkte ]

Die Umkehrung (oder auch Reversion) w eines Wortes w = a1 a2 . . . an sei definiert als w = an . . . a2 a1 , z. B. lagerr = regal.
r r

Zeigen Sie: Ist R eine reguläre Sprache, so ist Rr := {wr | w ∈ R} ebenfalls regulär.
Hinweis: Verwenden Sie die induktive Definition von regulären Sprachen!

Aufgabe 4 Beweise für Automaten [ 2 + 2 = 4 Punkte ]

(a) Sei M = (Q, Σ, δ, s, F ) ein deterministischer endlicher Automat. Seien ferner w1 , w2 ∈ Σ? und q ∈ Q. Beweisen Sie
folgende Gleichung:
δ̂(q, w1 · w2 ) = δ̂(δ̂(q, w1 ), w2 )

Hinweis: Führen Sie eine vollständige Induktion über die Länge n des Wortes w2 . Was ist Ihre Induktionsannahme?
(b) Gegeben sei folgender Automat A = (Q, {a, b}, δ, q00 , {q00 }):
a
q00 q01
a

b b b b
a
q10 q11
a
Beweisen Sie, dass der Automat genau die Worte aus {a, b}? akzeptiert, die eine gerade Anzahl an a’s und eine gerade
Anzahl an b’s enthalten.
Hinweis: Was bedeuten i und j im Zustand qji ? Führen Sie eine vollständige Induktion über die Länge n des Eingabe-
wortes w.