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 ...
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