12.07.2015 Aufrufe

Definition Eine kontextfreie Grammatik G mit ε ∈ L(G) ist in Greibach ...

Definition Eine kontextfreie Grammatik G mit ε ∈ L(G) ist in Greibach ...

Definition Eine kontextfreie Grammatik G mit ε ∈ L(G) ist in Greibach ...

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.

LemmaSei B e<strong>in</strong> B<strong>in</strong>ärbaum, bei dem jeder <strong>in</strong>nere Knoten2 Söhne hat. Enthält B wenigstens 2 k Blätter, sogibt es <strong>in</strong> B m<strong>in</strong>destens e<strong>in</strong>en Pfad der Länge ≥ k.Beweis Induktion über k:k = 0 : Anzahl Blatter ≥ 2 0 = 1B hat Pfad der Länge ≥ 0.k ❀ k + 1 : B habe ≥ 2 k+1 Blätter:✡✡✡✡B✎☞✧✍✌✧✧✧✡❏❏❏❏❏❜ ❜❜❜B ′☞☞☞☞☞☞☞☞▲▲▲▲▲▲▲▲≥ 2 k BlätterI.V.: B ′ hat Pfad der Länge ≥ kAlso: B hat Pfad der Länge ≥ k + 1.✷87

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!