Beruflich Dokumente
Kultur Dokumente
0 VU Theoretische Informatik 1
4.0 VU Theoretische Informatik f ur Lehramt Informatik I
1.Teilprufung SS 2003 23. Oktober 2003
Kennzahl Matrikelnummer Familienname Vorname Gruppe
A
L
osung
1.) Geben Sie einen beliebigen endlichen Automaten in graphischer Darstellung an, der die durch
den egrep-Ausdruck A?(AB?A)*[AC]* beschriebene Sprache akzeptiert. Der gesuchte Au-
tomat muss weder deterministisch noch minimal sein! (3 Punkte)
Losung:
m m l
0
m
1
m
2
m
3
m j
4
-
A,
A
B,
@
@ R
A
-
?
A,C
2.) Konstruieren Sie zum gegebenen indeterministischen Automaten einen aquivalenten deter-
ministischen. Es gen ugt, die
Ubergangsfunktion als Tabelle anzugeben und die Endzustande
zu markieren. Der gesuchte Automat muss nicht minimal sein!
m m l
0
m
1
m
2
m
3
m j
4
A,
B
@
@ R
A
-
?
A,C
-
A,
(6 Punkte)
Losung:
A B C
0 1, 3, 4 2 3, 4
1 2
2 0, 1, 3, 4
3 3, 4 3, 4
4
A B C
EZ 0 1, 3, 4 2 3, 4
EZ 1, 3, 4 3, 4 2 3, 4
2 0, 1, 3, 4
EZ 3, 4 3, 4 3, 4
EZ 0, 1, 3, 4 1, 3, 4 2 3, 4
EZ . . . Endzustand
3.) Geben Sie zu dem als Tabelle spezizierten deterministischen Automaten einen aquivalenten
an, der minimal ist. Stellen Sie den Automaten graphisch dar. Geben Sie f ur jedes Zustands-
paar ein Wort an, das sie unterscheidet (Unterscheidbarkeitstabelle).
A B C
EZ 0 1 2 3
EZ 1 4 2 3
2 1 5 5
EZ 3 3 5 3
EZ 4 3 2 3
5 5 5 5
EZ . . . Endzustand
(5 Punkte)
Losung:
1
AABA
2
3
BA BA
4
ABA ABA
BA
5
A
0 1 2 3 4
m j
0
m
2
m j
1
m j
4
m j
3
B
C
6
-
A
B
H
H
H
H Y
B
@
@
@
@ R
A,C
@
@
@
@ R
A
-
C
?
A,C
4.) Ein Palindrom uber ist ein Wort uber , das von vorne nach hinten gelesen dasselbe ergibt
wie von hinten nach vorne gelesen. Wir vereinbaren, dass auch das Leerwort ein Palindrom
ist.
a) Geben Sie eine kontextfreie Grammatik f ur die Palindrome uber A an. (4 Punkte)
Losung: S, A, S [ A S, S)
b) Ist die Sprache der Palindrome uber A regular oder nicht? Begr undung! (4 Punkte)
Losung: Jedes Wort uber dem Alphabet A ist ein Palindrom, da jede A-Kette von hinten
nach vorne gelesen nat urlich dasselbe ergibt wie von vorne nach hinten. Damit lasst sich die
Sprache durch den regularen Ausdruck A
P
S T 01 S T 0
P
st01 S T 0t0
P
st01st0t0
b) Zeigen Sie w L(G) mittels einer Linksableitung. (4 Punkte)
Losung: S
L
S T 0
L
S T 0 T 0
L
s T 0 T 0
L
st0 T 0
L
st01 S T 0
L
st01 S T 0 T 0
L
st01s T 0 T 0
L
st01st0 T 0
L
st01st0t0
6.) Ein L
A
T
E
X-Dokument beginnt mit dem Kommando \documentclassOptionenArt , ge-
folgt von \begindocument, dem eigentlichen Dokumentinhalt und beendet mit dem
Kommando \enddocument (die geschwungenen Klammern sind Teil von L
A
T
E
X). Art
ist ein einzelner Name. Optionen kann entweder fehlen, oder es ist eine in eckigen Klammern
eingeschlossene nicht-leere Folge von Namen, die durch Beistriche getrennt werden. Ein Na-
me ist eine nicht-leere Folge von Ziern, Klein- und Grobuchstaben. Der Dokumentinhalt
ist eine moglicherweise leere Folge von Texten und Listen in beliebiger Reihenfolge. Ein Text
ist eine nicht-leere Folge von Buchstaben, Ziern, Leerzeichen, Kommas und Punkten. Eine
Liste beginnt mit \beginenumerate und endet mit \endenumerate; dazwischen
liegt eine nicht-leere Folge von Listeneintragen. Ein Listeneintrag besteht aus dem Komman-
do \item gefolgt von Texten und Listen in beliebiger Reihenfolge; ein Listeneintrag kann
auch nur aus \item bestehen.
Geben Sie f ur die Sprache der L
A
T
E
X-Dokumente eine kontextfreie Grammatik in Ebnf an.
Verwenden Sie so weit als moglich Ebnf-Notationen, um die Grammatik ubersichtlich zu
halten. (12 Punkte)
Losung: Eine mogliche Losung ist V, T, P, Latex) mit
V = Latex, Art, Opts, Name, BZ, Inhalt , Text, Z, Liste, LE ,
T = A, . . . , Z, a, . . . , z, 0, . . . , 9, , ,, ., \, , , [, ] ,
P = Latex \documentclass Opts Art
\begindocument Inhalt \enddocument ,
Art Name ,
Opts [ [ Name , Name ] ] ,
Name BZ BZ ,
BZ A [ [ Z [ a [ [ z [ 0 [ [ 9 ,
Inhalt Text [ Liste ,
Text Z Z ,
Z BZ [ [ , [ . ,
Liste \beginenumerate LE LE \endenumerate ,
LE \item Inhalt .