Automaten, Sprachen, Komplexität

Sommersemester 2023
apl. Prof. Dr. Christof Löding Jan Böker, Jan Tönsho↵

Übungsblatt 1
Abgabetermin: Freitag, 14. April, 14:30 Uhr

Bitte beachten Sie stets die Ankündigungen in Moodle.

Neue Übungsblätter erscheinen im Laufe des Mittwochs und müssen, sofern nicht anders angegeben,
bis Freitag 14:30 Uhr in der Folgewoche digital in Moodle abgegeben werden. Bitte reichen Sie die
Übungsabgaben in Gruppen von 3 Personen ein.
Bitte schreiben Sie Namen und Matrikelnummern aller Gruppenmitglieder auf die Abgabe, auch
wenn es sich um eine digitale Abgabe handelt.
Die Lösungen werden in der Globalübung direkt nach der Abgabe besprochen.
Für die Klausurzulassung müssen Sie mindestens 50% der Punkte aus den
Übungsblättern 1–5 und mindestens 50% der Punkte aus den Übungsblättern 6–10
erreichen. Zudem müssen Sie mindestens 50% der Punkte aus den E-Tests erreichen
und alle bis auf einen bearbeitet haben. Die Tutoriumsaufgaben werden nicht korrigiert
und geben keine Punkte.

Aufgabe 1 1+1+1 Punkte

Wir betrachten den folgenden DEA A über dem Alphabet {a, b, c}:

b b

q0 a q1 b q2

c a
c a
c
q3 q4
c

a, b, c a, b

(a) Geben Sie die formale Definition (bzw. Beschreibung) von A an. Geben Sie dabei
die Transitionsfunktion in Form einer Wertetabelle an.

(b) Geben Sie für folgende Wörter an, welche A akzeptiert und welche A nicht akzeptiert:
", a, ab, abb, bba, ababc, abbabb.

(c) Geben Sie eine möglichst einfache umgangssprachliche (aber dennoch präzise)
Beschreibung der Wörter in L(A) an.

Seite 1 von 2
① a A (Q,
=

,0,F)

↑
Edc, ..,N40
-o
Q =

5:

2 [a,b,)
=

91 94 82 Is
F [No,93
=

N2 84 90 93
83 &38383
84 ⑭ Ne 8s

b) sella), aella), abellar, and ela

& a ELA), abaa ELA), abbab elrAf

CLA) swes*//w enthalt

= ein ar oder

lauk jedes a in a
fuly &d8
Automaten, Sprachen, Komplexität
Sommersemester 2023
apl. Prof. Dr. Christof Löding Jan Böker, Jan Tönsho↵

Aufgabe 2 2+2+2+2 Punkte

Wir betrachten Sprachen über dem Alphabet ⌃ = {a, b}. Geben Sie (in Form von
Transitionsgraphen) DEAs an, welche die folgenden Sprachen über ⌃ erkennen:

(a) L1 = {w 2 ⌃⇤ | in w kommt b genau zweimal vor}

(b) L2 = {w 2 ⌃⇤ | w hat ba nicht als Suffix}

(c) L3 = {w 2 ⌃⇤ | w hat gerade Länge und enthält höchstens zwei b}

(d) L4 = {w 2 ⌃⇤ | die Anzahl der a in w ist nicht durch 3 teilbar}

Aufgabe 3 1+3 Punkte

Wir betrachten die folgenden DEAs über dem Alphabet ⌃ = {a, b}:

b b a

a, b a, b a a
A: q0 q1 q2 B: qa qb qc

a, b b

Geben Sie einen DEA an, der L(A) \ L(B) erkennt. Gehen Sie dazu wie folgt vor:

(a) Geben Sie (in Form eines Transitionsgraphen, basierend auf B) einen DEA B̃ an,
der das Komplement der Sprache L(B) erkennt.

(b) Bilden Sie dann den entsprechenden Produktautomaten der DEAs A und B̃. Es
genügt, die erreichbaren Zustände einzuzeichnen.

Seite 2 von 2
2 af

y
->
q, 83 ~

ex wi
A
ri
dr
8 a,

·
"
i
a

as

he
i
-

Qu B

d
I
La
-> 90 -

a
⑲
 ③ a
s
G
=

&

a,b
-
a,b
- An
A: e
In 92

-
veryit
d
↳
:

int h e d