• Keine Ergebnisse gefunden

Aufgabe 1. Sei L = {ab

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Aufgabe 1. Sei L = {ab"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

Universit¨ at Siegen

Lehrstuhl Theoretische Informatik Markus Lohrey

Grundlagen der Theoretischen Informatik SS 2015

Ubungsblatt 6 ¨

Aufgabe 1. Sei L = {ab

n

| n ≥ 1}.

(a) Geben Sie den Minimalautomaten (bis auf Umbenennung der Zust¨ ande) an.

(b) Beweisen Sie, dass Ihr Minimalautomat wirklich minimal ist, indem Sie zeigen, dass der Index der Relation R

L

gleich der Anzahl der Zust¨ ande Ihres Automaten ist.

(c) Begr¨ unden Sie kurz, dass ein NFA, der L akzeptiert mindestens drei Zust¨ ande braucht.

(d) Geben Sie zwei verschiedene NFA (nicht durch Umbenennung der Zust¨ ande) mit drei Zust¨ anden an, die L akzeptieren.

Aufgabe 2. Sei Σ = {a , b}. Gegeben ist der DFA M = (Z , Σ, δ, 1, E ) mit Z = {1, 2, 3, 4, 5, 6, 7}, E = {7} und

δ a b

1 2 4

2 7 4

3 5 3

4 5 4

5 7 1

6 7 3

7 7 7

(a) Zeichnen Sie M .

(b) Verwenden Sie den “Algorithmus Minimalautomat”, um den Minimal- automaten f¨ ur die Sprache L(M ) zu erhalten.

(c) Zeichnen Sie den in (b) erhaltenen Automaten.

1

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 78.54 KB )

ÄHNLICHE DOKUMENTE

Universit¨ at Siegen

(b) Beweisen Sie, dass Ihr Minimalautomat wirklich minimal ist, indem Sie zeigen, dass der Index der Relation R L gleich der Anzahl der Zust¨ ande Ihres Automaten ist.. (c) Begr¨

Universit¨ at Siegen

(b) Beweisen Sie, dass Ihr Minimalautomat wirklich minimal ist, indem Sie zeigen, dass der Index der Relation R L gleich der Anzahl der Zust¨ ande Ihres Automaten ist.. (c) Begr¨

Aufgabe 1. Zeigen Sie, dass es zu jeder Sprache L ∈ P eine polynomielle Familie C = (C

Lehrstuhl Theoretische Informatik Markus Lohrey. Komplexit¨ atstheorie

Aufgabe 1. Wahr oder falsch:

(b) Beweisen Sie, dass Ihr Minimalautomat wirklich minimal ist, indem Sie zeigen, dass der Index der Relation R L gleich der Anzahl der Zust¨ ande Ihres Automaten ist. (c) Begr¨

Universit¨ at Siegen

(b) Beweisen Sie, dass Ihr Minimalautomat wirklich minimal ist, indem Sie zeigen, dass der Index der Relation R L gleich der Anzahl der Zust¨ ande Ihres Automaten ist.. (c) Begr¨

Aufgabe 1. Beweisen Sie, dass die folgenden Sprachen ¨ uber Σ = {a, b, c}

Lehrstuhl Theoretische Informatik Markus Lohrey. Grundlagen der Theoretischen Informatik

1. (10%+ 10% = 20%). In dieser Aufgabe soll gezeigt werden, dass minimale NEAs nicht eindeutig sind (bis auf Isomorphie, d.h. bis auf Umbenennung ihrer Zust¨ande). Sei L = {a} · {b}

In dieser Aufgabe soll gezeigt werden, dass minimale NEAs nicht eindeutig sind (bis auf Isomorphie, d.h. bis auf Umbenennung ihrer Zust¨ande). Sei L = {a} · {b} + .?. a) Geben Sie

Zeigen Sie, dass (R

Das Sieb des Eratosthenes erzeugt alle Primzahlen bis zu einer vorgegebenen Zahl n ∈ N ≥2 durch Herausstreichen aller Vielfachen der Zahlen 2, 3,.