• Keine Ergebnisse gefunden

Aufgabe 1. Seien A, B , C ⊆ Σ ∗ . Sind die folgenden Aussagen wahr oder falsch?

N/A
N/A
Protected

Academic year: 2021

Aktie "Aufgabe 1. Seien A, B , C ⊆ Σ ∗ . Sind die folgenden Aussagen wahr oder falsch?"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Universit¨ at Siegen

Lehrstuhl Theoretische Informatik Markus Lohrey

Grundlagen der Theoretischen Informatik SS 2020

Ubungsblatt 5 ¨

Aufgabe 1. Seien A, B , C ⊆ Σ . Sind die folgenden Aussagen wahr oder falsch?

(a) Sei A ∩ B = C . Wenn A und C regul¨ ar sind, dann ist B regul¨ ar.

(b) Sei A ∪ B = C . Wenn A und C regul¨ ar sind, dann ist B regul¨ ar.

(c) Sei A · B = C . Wenn A und C regul¨ ar sind, dann ist B regul¨ ar.

(d) Es gibt eine nicht-regul¨ are Sprache L so, dass L · L regul¨ ar ist.

Aufgabe 2. Betrachten Sie die Sprache L = {a n b n | n ≥ 0}. Wie sehen die Myhill-Nerode- ¨ Aquivalenzklassen bez¨ uglich L aus?

Aufgabe 3. Beweisen oder widerlegen Sie, welche der folgenden Sprachen regul¨ ar sind. Wenn ja, geben Sie die Myhill-Nerode- ¨ Aquivalenzklassen an.

(a) {w ∈ Σ | w = rev(w )}

(b) {ww | w ∈ Σ } (c) {a n

2

| n ≥ 0}

(d) {a n b m | n 6= m }

(e) {w ∈ {a, b} | # a (w ) mod 4 ∈ {1, 3}}

(f) {a p | p ist Primzahl}

(g) {(ab) n | n ≥ 2}

(h) {a n ba m | (n + m ) ist gerade}

1

Referenzen

ÄHNLICHE DOKUMENTE

Am Ende sind zwei Bogen Schmierpapier angeheftet, sollte dies nicht ausreichen, k¨ onnen Sie noch eigenes benutzen, was aber nicht eingesammelt wird.. Die Aufgabenverteilung ist

F¨ ur jede richtige Antwort bekommen Sie zwei Punkte, f¨ ur jede falsche Antwort wird Ihnen ein Punkt abgezo- gen.. Eine nichtbeantwortete Frage wird mit Null

F¨ ur jede richtige Antwort bekommen Sie zwei Punkte, f¨ ur jede falsche Antwort wird Ihnen ein Punkt abgezo- gen. Eine nichtbeantwortete Frage wird mit Null

F¨ ur jede richtige Antwort bekommen Sie zwei Punkte, f¨ ur jede falsche Antwort wird Ihnen ein Punkt abgezo- gen. Eine nichtbeantwortete Frage wird mit Null

Technische Universität Chemnitz Stochastik Fakultät für

Beweisen oder widerlegen Sie f¨ ur eine monoton wachsende Funk- tion f die folgenden Aussagen?. Geben Sie eine Turingmaschine an, die eben- falls L(M

Beweisen oder widerlegen Sie f¨ ur eine monoton wachsende Funk- tion f die folgenden Aussagen?. Geben Sie eine Turingmaschine an, die eben- falls L(M

Beschrei- ben Sie eine Turingmaschine, die diese Sprache akzeptiert (Hinweis: Sie m¨ ussen die Turingmaschine nicht vollst¨ andig definieren).. Beschreiben wiederum eine