Sie sind auf Seite 1von 3

4.

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

beschreiben, sie ist also regular.


Alternative Erklarung: die Grammatik in der Losung zur vorigen Teilaufgabe ist regular,
daher ist die Sprache regular.
c) Zeigen Sie: die Sprache der Palindrome uber A, B, C ist nicht regular. (8 Punkte)
Losung: Indirekter Beweis mit Hilfe des Pumping Lemmas f ur regulare Sprachen.
Pumping Lemma: F ur jede unendliche regulare Sprache gilt, dass sich jedes hinreichend lange
Wort w (d.h., jedes w mit [w[ m f ur eine Schranke m) zerlegen lasst als xyz mit [xy[ m
und [y[ 1, sodass w
i
= xy
i
z in der Sprache liegt f ur alle i 0.
Sei L die Sprache der Palindrome uber A, B, C. Angenommen L ware regular. Sei w =
A
m
B A
m
. w liegt in L und [w[ = 2m+1 m. Wegen [xy[ m gilt f ur jede Zerlegung x = A
j
und y = A
k
mit k 1. F ur w
i
erhalten wir
w
i
= A
j
(A
k
)
i
A
mjk
B A
m
= A
m+(i1)k
B A
m
.
Ware L regular, m usste w
i
f ur alle i 0 in L liegen. F ur i = 0 erhalten wir aber w
0
=
A
mk
B A
m
. Da mk ,= m und daher A
m
BA
mk
, die Umkehrung von w
0
, verschieden von w
0
ist, liegt w
0
nicht in L. Widerspruch zum Pumping Lemma, L kann nicht regular sein.
5.) Sei G die kontextfreie Grammatik S, T, s, t, 0, 1, P, S), wobei P aus folgenden Produk-
tionen besteht:
S s [ S T 0
T t [ 1 S T
Sei weiters w das Wort st01st0t0.
a) Zeigen Sie w L(G) mittels einer Parallelableitung. (4 Punkte)
Losung: S
P
S T 0

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 .