• Keine Ergebnisse gefunden

Definition 65

N/A
N/A
Protected

Academic year: 2021

Aktie "Definition 65"

Copied!
11
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

5.2 NFA’s mit - ¨ Uberg¨ angen Definition 65

Ein (nichtdeterministischer) endlicher Automat A mit

- ¨ Uberg¨ angen ist ein 5-Tupel analog zur Definition des NFA mit δ : Q × (Σ ] {}) → P (Q) .

Ein - ¨ Ubergang wird ausgef¨ uhrt, ohne dass ein Eingabezeichen gelesen wird. Wir setzen o.B.d.A. voraus, dass A nur einen Anfangszustand hat.

q 0 q 1 q 2

0 1 0

ADS-EI 5.2 NFA’s mit- ¨Uberg¨angen 185/451

ľErnst W. Mayr

(2)

Definiere f¨ ur alle a ∈ Σ

δ(q, a) := ˆ ¯ δ(q, a ) .

Falls A das leere Wort mittels - ¨ Uberg¨ angen akzeptiert, also F ∩ δ(q ˆ 0 , ) 6= ∅, dann setze zus¨ atzlich

F := F ∪ {q 0 } .

Satz 66

w ∈ L(A) ⇔ δ(S, w) ˆ ¯ ∩ F 6= ∅ .

Beweis:

Hausaufgabe!

ADS-EI 5.2 NFA’s mit- ¨Uberg¨angen 186/451

ľErnst W. Mayr

(3)

5.3 Entfernen von - ¨ Uberg¨ angen Satz 67

Zu jedem nichtdeterministischen endlichen Automaten A mit - ¨ Uberg¨ angen gibt es einen nichtdeterministischen endlichen Automaten A 0 ohne - ¨ Uberg¨ ange, so dass gilt:

L(A) = L(A 0 )

Beweis:

Ersetze δ durch δ ¯ und F durch F 0 mit F 0 =

( F / ∈ L(A) F ∪ {q 0 } ∈ L(A)

ADS-EI 5.3 Entfernen von- ¨Uberg¨angen 187/451

ľErnst W. Mayr

(4)

Beispiel 68

q 0 q 1 q 2

0 1 0

q 0 0, 1 q 1 0, 1 q 2

0 1 0

0, 1

ADS-EI 5.3 Entfernen von- ¨Uberg¨angen 188/451

ľErnst W. Mayr

(5)

5.4 Endliche Automaten und regul¨ are Sprachen

Satz 69

Ist G = (V, Σ, P, S) eine rechtslineare (also regul¨ are) Grammatik (o.B.d.A. sind die rechten Seiten aller Produktionen aus

Σ ∪ {} ∪ (Σ ∪ {})V ), so ist N = (V ∪ {X}, Σ, δ, {S}, F ), mit F :=

( {S, X}, falls S → ∈ P {X}, sonst

und, f¨ ur alle A, B ∈ V , a ∈ Σ ∪ {},

B ∈ δ(A, a) ⇐⇒ A → aB und X ∈ δ(A, a) ⇐⇒ A → a

ein nichtdeterministischer endlicher Automat, der genau L(G) akzeptiert.

ADS-EI 5.4 Endliche Automaten und regul¨are Sprachen 189/451

ľErnst W. Mayr

(6)

Beweis:

Aus der Konstruktion folgt, dass N ein NFA ist (i.A. mit - ¨ Uberg¨ angen, die sich bei Produktionen der Form A → B ergeben).

Durch eine einfache Induktion ¨ uber n zeigt man, dass eine Satzform

a 1 a 2 · · · a n−1 A bzw. a 1 a 2 · · · a n in G genau dann ableitbar ist, wenn f¨ ur die erweiterte Ubergangsfunktion ¨ δ ˆ des zu N ¨ aquivalenten NFA ohne - ¨ Uberg¨ ange gilt:

A ∈ ˆ δ(S, a 1 a 2 · · · a n−1 ) bzw.

X ∈ δ(S, a ˆ 1 a 2 · · · a n ) (bzw., f¨ ur n = 0, F ∩ δ(S, ) ˆ 6= ∅).

ADS-EI 5.4 Endliche Automaten und regul¨are Sprachen 190/451

ľErnst W. Mayr

(7)

Beispiel 70

Wir betrachten die (regul¨ are) Grammatik G mit den Produktionen

S → ε

S → A | B | C A → 0A | 0 | B B → 1B | 1 | C C → 0C | 0

S A

B

C

X ε

ε ε

ε

ε 0 1 0 0

1

0

ADS-EI 5.4 Endliche Automaten und regul¨are Sprachen 191/451

ľErnst W. Mayr

(8)

Zusammenfassend ergibt sich:

Satz 71

Die Klasse der regul¨ aren Sprachen (Chomsky-3-Sprachen) ist identisch mit der Klasse der Sprachen, die

von DFA’s akzeptiert/erkannt werden, von NFA’s akzeptiert werden,

von NFA’s mit - ¨ Uberg¨ angen akzeptiert werden.

Beweis:

Wie soeben gezeigt.

ADS-EI 5.4 Endliche Automaten und regul¨are Sprachen 192/451

ľErnst W. Mayr

(9)

5.5 Regul¨ are Ausdr¨ ucke

Regul¨ are Ausdr¨ ucke sollen eine kompakte Notation f¨ ur spezielle Sprachen sein, wobei endliche Ausdr¨ ucke hier auch unendliche Mengen beschreiben k¨ onnen.

Definition 72

Regul¨ are Ausdr¨ ucke sind induktiv definiert durch:

1

∅ ist ein regul¨ arer Ausdruck.

2

ist ein regul¨ arer Ausdruck.

3

F¨ ur jedes a ∈ Σ ist a ist ein regul¨ arer Ausdruck.

4

Wenn α und β regul¨ are Ausdr¨ ucke sind, dann sind auch (α), αβ, (α|β) (hierf¨ ur wird oft auch (α + β) geschrieben) und (α) regul¨ are Ausdr¨ ucke.

5

Nichts sonst ist ein regul¨ arer Ausdruck.

Bemerkung: Ist α atomar, so schreiben wir statt (α) oft auch nur α .

ADS-EI 5.5 Regul¨are Ausdr¨ucke 193/451

ľErnst W. Mayr

(10)

Zu einem regul¨ aren Ausdruck γ ist die zugeh¨ orige Sprache L(γ) induktiv definiert durch:

Definition 73

1

Falls γ = ∅, so gilt L(γ) = ∅.

2

Falls γ = , so gilt L(γ ) = {}.

3

Falls γ = a, so gilt L(γ ) = {a}.

4

Falls γ = (α), so gilt L(γ) = L(α).

5

Falls γ = αβ, so gilt

L(γ) = L(α)L(β ) = {uv; u ∈ L(α), v ∈ L(β)} .

6

Falls γ = (α | β), so gilt

L(γ ) = L(α) ∪ L(β) = {u; u ∈ L(α) ∨ u ∈ L(β )} .

7

Falls γ = (α) , so gilt

L(γ) = (L(α)) = {u 1 u 2 . . . u n ; n ∈ N 0 , u 1 , . . . , u n ∈ L(α)} .

ADS-EI 5.5 Regul¨are Ausdr¨ucke 194/451

ľErnst W. Mayr

(11)

Beispiel 74

Sei das zugrunde liegende Alphabet Σ = {0, 1}.

alle W¨ orter, die gleich 0 sind oder mit 00 enden:

(0 | (0 | 1) 00) alle W¨ orter, die 0110 enthalten:

(0|1) 0110(0|1)

alle W¨ orter, die eine gerade Anzahl von 1’en enthalten:

(0 10 1) 0

alle W¨ orter, die die Bin¨ ardarstellung einer durch 3 teilbaren Zahl darstellen, also

0, 11, 110, 1001, 1100, 1111, 10010, . . . Hausaufgabe!

ADS-EI 5.5 Regul¨are Ausdr¨ucke 195/451

ľErnst W. Mayr

Referenzen

ÄHNLICHE DOKUMENTE

Oft wird in der Literatur zwischen regul¨ arem Ausdruck und beschriebener Sprache nicht unterschieden, das heißt, man identifiziert einen regul¨ aren Ausdruck mit der

Oft wird in der Literatur zwischen regul¨ arem Ausdruck und beschriebener Sprache nicht unterschieden, das heißt, man identifiziert einen regul¨ aren Ausdruck mit der

Nachdem wir wissen, dass jede von einem deterministischen endlichen Automaten akzeptierte Spra- che vom Typ 3, also regul¨ ar ist, interessiert nat¨ urlich die Umkehrung, also ob

Teil (c) ⇒ (a) oder auch (b) ⇒ (a) kann schließlich gezeigt werden, indem man einen DFA oder NFA als Gleichungssystem ¨ uber Sprachen auffasst und die- ses mithilfe des

In Ungarn ist zwar der Demokratisie- rungsprozeß am weitesten fortge- schritten, das Land steckt aber in einer Krise, weil es zwar diese Umstruktu- rierung begonnen hat, aber den

Der Wirtschaftsingenieur: Wird nicht sehr oft soziale und methodische Kompetenz gegenüber der fachlichen Kompetenz vernachlässigt.. Bauer: Es wird üblicherweise immer nur die

bzw. Die Japaner haben übrigens mit Hilfe amerikani- scher Methoden, die in Amerika kei- nen Anklang fanden, vor Jahren syste- matisch begonnen, die ganze Industrie auf

Schmeja: Wir sind in der glücklichen Lage als EVU sehr genaue Prognosen erstellen zu können, weil wir den Zuwachs wirklich kennen und wir rech- nen zur Zeit mit einem, gemessen an