19.11.2014 Aufrufe

Inhaltsverzeichnis - Automaten und Formale Sprachen

Inhaltsverzeichnis - Automaten und Formale Sprachen

Inhaltsverzeichnis - Automaten und Formale Sprachen

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

der nächste Ableitungsschritt ist. Der Knoten zu X t ′ in T s−1 erhält u Söhne, die mit<br />

Y 1 , . . . , Y u markiert werden. Offenbar ist der resultierende Baum T s wieder X-Ableitungsbaum,<br />

<strong>und</strong> α(T s ) = α s . (Ist u = 0, erhält der Knoten zu X t ′ einen Sohn mit Markierung<br />

ε.)<br />

X<br />

X<br />

T<br />

s-1 s<br />

T<br />

X 1 ... X t’ ... Xt<br />

X t’<br />

Y 1<br />

...<br />

...<br />

Y u<br />

Nach r Schritten ergibt sich ein Baum T r mit α(T r ) = α r = α.<br />

(ii) ⇒ (i)“: Es sei ein X-Ableitungsbaum T gegeben. Durch Induktion nach der Tiefe k<br />

”<br />

von T zeigen wir, daß X ⇒ ∗ α(T ) gilt.<br />

k = 0:<br />

Hat T nur einen Knoten, die Wurzel, so ist α(T ) = X, <strong>und</strong> X 0 ⇒ X ist Ableitung.<br />

k > 0: Ist T ein Baum, der nicht nur aus der Wurzel besteht, so muß die Wurzelmarkierung<br />

X eine Variable A ∈ V sein. Falls die Wurzel nur einen, mit ε markierten, Sohn<br />

besitzt, ist α(T ) = ε; dann muß aber A → ε Produktion sein, also A ⇒ ε Ableitung.<br />

Sonst hat die Wurzel r ≥ 1 Söhne v 1 , . . . , v r , die mit X 1 , . . . , X r ∈ V ∪ Σ markiert sind.<br />

Der i-te Unterbaum T i (mit Wurzel v i ) ist X i -Ableitungsbaum, für 1 ≤ i ≤ r, jeweils mit<br />

Tiefe kleiner als k. Nach Induktionsvoraussetzung gilt<br />

X i ⇒ ∗ α(T i ) , für 1 ≤ i ≤ r .<br />

Durch Zusammensetzen dieser r Ableitungen erhalten wir die Ableitung<br />

X ⇒ X 1 X 2 · · · X ∗ r ⇒ α(T 1 )X 2 · · · X ∗ r ⇒ α(T 1 )α(T 2 )X 3 · · · X ∗ r ⇒ · · ·<br />

∗<br />

⇒ α(T 1 ) · · · α(T r ) = α(T ) .<br />

□<br />

Beispiel:<br />

Aus dem Baum<br />

S<br />

S<br />

S<br />

S<br />

S<br />

0<br />

1<br />

0 S 1<br />

79

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!