• Keine Ergebnisse gefunden

Goethe-Universität Frankfurt am Main 25. Januar 2012 Institut für Informatik

N/A
N/A
Protected

Academic year: 2021

Aktie "Goethe-Universität Frankfurt am Main 25. Januar 2012 Institut für Informatik"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Goethe-Universität Frankfurt am Main 25. Januar 2012 Institut für Informatik

Theorie komplexer Systeme Prof. Dr. Nicole Schweikardt

Diskrete Modellierung

Wintersemester 2011/2012

Übungsblatt 12

Abgabe: bis 1. Februar 2012, 8.

15

Uhr (vor der Vorlesung oder in Raum RM 11-15/113)

Aufgabe 1: (30 Punkte)

Sei A

1

der abgebildete endliche Automat über dem Alphabet Σ = {a, b, c} :

z

0

z

1

z

2

z

3

z

4

z

5

z

6

z

7

a a

a a

b b

b b

b b b

b

(a) Geben Sie folgendes für A

1

an:

- die Menge der Zustände, - den Startzustand,

- die Menge der Endzustände und - die Übergangsfunktion.

(b) Ist A

1

ein

- deterministischer Automat?

- nichtdeterministischer Automat?

(c) Welche der folgenden Wörter werden von A

1

akzeptiert, welche nicht? Begründen Sie Ihre Antworten.

- z

0

z

1

z

4

- aabb

- aaab - aaaacbbbb

- aaabbbba - abbbbbbbbb (d) Geben Sie die fünf kürzesten Wörter an, die A

1

akzeptiert.

(e) Geben Sie eine (mathematische oder umgangssprachliche) Beschreibung der Sprache L ( A

1

) an, die vom Automaten A

1

akzeptiert wird.

(f) Geben Sie einen DFA A

2

mit möglichst wenigen Zuständen an, der vollständig ist und für den L ( A

2

) = L ( A

1

) gilt.

Aufgabe 2: (10 Punkte)

Der Morsecode basiert auf der Zeichenmenge Σ := { ,,

[

} , wobei für einen langen Im- puls, • für einen kurzen Impuls und

[

für eine Pause steht. Jeder Buchstabe unseres Alpha- bets wird durch eine Folge von kurzen und langen Impulsen codiert, der Buchstabe j bei- spielsweise durch • und a durch • . Ein ganzes Wort wird ohne Berücksichtigung von Groß/Kleinschreibung einfach durch die Folge seiner Buchstaben kodiert, jeder Buchstabe wird mit einer Pause abgeschlossen. Auf diese Weise wird das Wort ja durch •

[

[

kodiert.

In der Anfangszeit der Mobiltelefone und damit vor der Einführung polyphoner Klingeltöne hat

der Mobiltelefonhersteller Nokia für alle seine Modelle den Standardton

[

für m wie message

gewählt, um den Empfang einer Nachricht zu signalisieren. Mit der zunehmenden Beliebtheit

(2)

von Kurznachrichten hat Nokia seine Modelle mit einem weiteren Klingelton in Morsecode ausgestattet: Der „Special“ genannte Ton signalisiert •••

[ [

•••

[

für SMS .

1

Wir stellen uns eine deutsche Version des Standardtons für den Empfang einer Nachricht vor, die

[

für N wie Nachricht ausgibt. Geben Sie einen nichtdeterministischen endlichen Automaten A in graphischer Darstellung an, der eine beliebige Zeichenfolge aus Σ

entgegennimmt und diese genau dann akzeptiert, wenn darin beide Zeichenketten •

[

und •••

[ [

•••

[

enthalten sind.

Aufgabe 3: (25 Punkte)

Jede natürliche Zahl n lässt sich als Dualzahl , d.h., in der Form [ n ]

2

= z

l

z

l−1

· · · z

0

darstellen, so dass z

i

∈ { 0 , 1 } für 0 ≤ il mit l ∈ N ist und n = P

l

i=0

z

i

· 2

i

gilt. Die Zahl [ n ]

2

wird als die Dualdarstellung der Zahl n bezeichnet. Dualzahlen können auf herkömmliche Weise schriftlich addiert werden, wobei der Übertrag bei der Zwei erfolgt.

Gegeben sei das folgende Eingabealphabet Σ :=

 

 

0 0 0

, 0 0 1

, 0 1 0 ,

0 1 1

, 1 0 0

, 1 0 1

, 1 1 0

, 1 1 1

 

 

.

Geben Sie einen DFA A an, der ein Wort w aus Σ

genau dann akzeptiert, wenn w eine korrekte Addition zweier Dualzahlen [ n ]

2

und [ m ]

2

mit n, m ∈ N darstellt. So ist beispielsweise wL ( A ) für

w = 0 0 1

1 1 1

0 1 0

1 1

0 , weil 0101 = [5]

2

+ 0111 = [7]

2

1100 = [12]

2

.

Hinweis: Beachten Sie, dass ein endlicher Automat jedes Eingabewort von links nach rechts liest.

Begründen Sie kurz, warum der von Ihnen angegebene DFA die verlangte Sprache akzeptiert.

Aufgabe 4: (35 Punkte)

(a) Betrachten Sie das Eingabealphabet Σ := {a, b, c} und die Sprache

L

1

:= n w ∈ Σ

: |w| ≥ 2 und der erste und letzte Buchstabe von w sind gleich o . Die Sprache L

1

wird vom NFA A akzeptiert, der durch

die nebenstehende graphische Darstellung gegeben ist.

Geben Sie einen DFA A

0

in graphischer Darstellung an, der die Sprache L

1

akzeptiert. Wandeln sie dazu den NFA A mit Hilfe der Potenzmengenkonstruktion in den DFA A

0

um. Berücksichtigen Sie dabei nur solche Zustände von A

0

, die vom Startzustand q

00

:= {q

0

} aus erreicht werden können.

q

0

q

1

q

2

q

3

q

4

a, b, c

a, b, c

a, b, c

a a

b b

c c

(b) Beweisen Sie die Korrektheit der folgenden Aussagen:

(i) Sei Σ ein beliebiges Alphabet und L

2

eine beliebige reguläre Sprache über Σ. Dann ist auch die Sprache L

2

:= Σ

\ L

2

regulär.

(ii) Es gibt eine reguläre Sprache L

3

, so dass jeder DFA A mit L ( A ) = L

3

mehr als einen Endzustand hat.

1

Nokias Einsatz von Morsecodes als Klingelzeichen endet an dieser Stelle nicht: Der „Ascending“ genannte Ton

erzeugt • •

[ [

[

[

[

• •

[

••

[ [

[

[

• •

[

[ [

• •

[

• ••

[

[

und morst damit den Slogan der Firma.

Referenzen

ÄHNLICHE DOKUMENTE

(a) Überprüfen Sie für jedes der folgenden Wörter, ob es sich jeweils um einen σ-Term (gemäß Definition 6.13), um eine atomare σ-Formel bzw. Begründen Sie gegebenenfalls, warum

(a) Geben Sie für die folgenden Anfragen jeweils eine Formel ϕ der Logik erster Stufe an, die die

Auch wenn sich inzwischen unterschiedliche Varianten davon entwickelt haben, so ist doch die folgende klassische Form am weitesten verbreitet:.. ↑ ↑ ↓ ↓ ← → ← →

November 2012 Institut für Informatik.. Theorie komplexer

(b) Finden Sie einen Algorithmus, der bei Eingabe einer Dataloganfrage Q = (P, R) entscheidet, ob Q

Die folgenden Aufgaben behandeln grundlegende Schreibweisen sowie Zusammenhänge, deren Kenntnis wichtig zum Verständnis der Vorlesung ist. Die Aufgaben dieses Blattes werden in

Wenn ja, beschreiben Sie eine solche Strategie und geben Sie in asymptotischer Notation an, wie viele Versuche von Bob bei dieser Strategie nötig sind, um das Geheimnis zu erraten.

Dazu sei die Klasse liste2 gegeben, die genauso wie die Klasse liste aus der Vorlesung definiert ist, außer, dass sie zusätzlich eine Funktion movetoend() besitzt, welche