• Keine Ergebnisse gefunden

4.2 Ableitungsgraph und Ableitungsbaum

N/A
N/A
Protected

Academic year: 2021

Aktie "4.2 Ableitungsgraph und Ableitungsbaum"

Copied!
11
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

4.2 Ableitungsgraph und Ableitungsbaum Grammatik:

S → AB A → aA A → a B → bB B → b aaa → c cb → a

Beispiel:

S

A B

a A b B

a A b B

a b

c a

Die Terminale ohne Kante nach unten entsprechen, von links nach rechts gelesen, dem durch den Ableitungsgraphen dargestellten Wort.

ADS-EI 177/451

ľErnst W. Mayr

(2)

Grammatik:

S → AB A → aA A → a B → bB B → b aaa → c cb → a

Beispiel:

S

A B

a A b B

a A b B

a b

c a Dem Ableitungsgraph entspricht z.B. die Ableitung

S → AB→aAB →aAbB →aaAbB→aaAbbB→

→ aaabbB →aaabbb→cbbb→abb

ADS-EI 4.2 Ableitungsgraph und Ableitungsbaum 177/451

ľErnst W. Mayr

(3)

Beobachtung:

Bei kontextfreien Sprachen sind die Ableitungsgraphen immer B¨aume.

Beispiel 60

Grammatik:

S → aB S → Ac A → ab B → bc

Ableitungsb¨aume:

S A

a b c

S B

b c

a

F¨ur das Wortabcgibt es zwei verschiedene Ableitungsb¨aume.

ADS-EI 4.2 Ableitungsgraph und Ableitungsbaum 178/451

ľErnst W. Mayr

(4)

Definition 61

Eine Ableitung

S =w(0)→w(1)→ · · · →w(n) =w eines Wortes w heißt Linksableitung, wenn f¨ur jede

Anwendung einer Produktion α→β auf w(i) =xαz gilt, dass sich keine Regel der Grammatik auf ein echtes Pr¨afix von xα anwenden l¨asst.

Eine Grammatik heißteindeutig, wenn es f¨ur jedes Wort w∈L(G) genau eine Linksableitung gibt. Nicht eindeutige Grammatiken nennt man auchmehrdeutig.

Eine Sprache L heißt eindeutig, wenn es f¨urL eine eindeutige Grammatik gibt. Ansonsten heißt Lmehrdeutig.

Bemerkung:Eindeutigkeit wird meist f¨ur kontextfreie (und regul¨are) Grammatiken betrachtet, ist aber allgemeiner definiert.

ADS-EI 4.2 Ableitungsgraph und Ableitungsbaum 179/451

ľErnst W. Mayr

(5)

Beispiel 62

Grammatik:

S → aB S → Ac A → ab B → bc

Ableitungsb¨aume:

S A

a b c

S B

b c

a

Beide Ableitungsb¨aume f¨ur das Wortabcentsprechen Linksableitungen.

ADS-EI 4.2 Ableitungsgraph und Ableitungsbaum 180/451

ľErnst W. Mayr

(6)

Beispiel 63

Grammatik:

S → AB A → aA A → a B → bB B → b aaa → c cb → a

Ableitung:

S

A B

a A b B

a A b B

a b

c a Eine Linksableitung ist

S → AB→aAB →aaAB→aaaB →cB→

→ cbB→aB→abB →abb

ADS-EI 181/451

ľErnst W. Mayr

(7)

Beispiel 63

Grammatik:

S → AB A → aA A → a B → bB B → b aaa → c cb → a

Ableitung:

S

A B

a A b B

a A b B

a b

c a

Eine andere Linksableitung f¨ur abbist

S→AB→aB →abB →abb .

ADS-EI 181/451

ľErnst W. Mayr

(8)

Beispiel 63

Grammatik:

S → AB A → aA A → a B → bB B → b aaa → c cb → a

Ableitung:

S

A B

a A b B

a A b B

a b

c a

Die Grammatik ist alsomehrdeutig.

ADS-EI 4.2 Ableitungsgraph und Ableitungsbaum 181/451

ľErnst W. Mayr

(9)

5. Eigenschaften regul¨ arer Automaten und Sprachen

5.1 ¨Aquivalenz von NFA und DFA

Satz 64

F¨ur jede von einem nichtdeterministischen endlichen Automaten akzeptierte SpracheLgibt es auch einen deterministischen endlichen AutomatenM mit

L=L(M).

ADS-EI 5.1 ¨Aquivalenz von NFA und DFA 182/451

ľErnst W. Mayr

(10)

Beweis:

SeiN = (Q,Σ, δ, q0, F) ein NFA.

Definiere

1 M0 := (Q0,Σ, δ0, q00, F0)

2 Q0 :=P(Q) (P(Q) = 2Q Potenzmenge vonQ)

3 δ0(Q00, a) :=S

q0∈Q00δ(q0, a) f¨ur alle Q00∈Q0,a∈Σ

4 q00:={q0}

5 F0 :={Q00⊆Q; Q00∩F 6=∅}

Also

NFA N: Q Σ δ q0 F

DFAM0: 2Q Σ δ0 q00 F0

ADS-EI 5.1 ¨Aquivalenz von NFA und DFA 183/451

ľErnst W. Mayr

(11)

Beweis (Forts.):

Es gilt:

w∈L(N) ⇔ δ(S, w)ˆ ∩F 6=∅

⇔ δb0(q00, w)∈F0

⇔ w∈L(M0).

Der zugeh¨orige Algorithmus zur ¨Uberf¨uhrung eines NFA in einen DFA heißtTeilmengenkonstruktion,Potenzmengenkonstruktion oderMyhill-Konstruktion.

ADS-EI 5.1 ¨Aquivalenz von NFA und DFA 184/451

ľErnst W. Mayr

Referenzen

ÄHNLICHE DOKUMENTE

Man kann auch noch auf eine andere Weise pr¨ ufen, ob Klammerausdr¨ ucke korrekt sind: durch Abz¨ ahlen der ¨ offnenden und schließenden Klammern. F¨ ur jede ¨ offnende

Das Pumping-Lemma f¨ ur regul¨ are Sprachen besagt, dass es f¨ ur jede unendliche regul¨ are Sprache eine Grenze n gibt, so daß es zu jedem Wort w der Sprache, das mindestens die

regul¨ are Grammatiken – endliche Automaten Satz 3.2.7 regul¨ are Grammatiken charakterisieren regul¨ are Sprachen L ⊆ Σ ∗

Folgerungen aus dem Satz von Kleene Korollar 2.3.2 die Klasse der regul¨ aren Sprachen ist abgeschlossen unter allen Booleschen Operationen sowie Konkatenation und Stern

regul¨ are Grammatiken – endliche Automaten Satz 3.2.7 regul¨ are Grammatiken charakterisieren regul¨ are Sprachen L ⊆ Σ ∗ regul¨

(File Obergrenze ist 100MB, auch wenn 10MB sicher problemlos

Die Punkte dieser Ebene, mit der ¨ ublichen Vektoraddition und skalaren Multiplikation, bilden einen eigenen zweidimensionalen Vektorraum

The objective of this study was to quantify the methane emission over the full course of the “active” season from early spring to early winter, to analyze the