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

Sei G in Chomsky Normalform mit V = {A 1 , . . . , A m }.(1.) Regeln modifizieren, sodass (A i → A j α) ∈ Pstets i < j erfüllt:FOR i := 1 TO m DOFOR j := 1 TO i − 1 DOFOR ALL A i → A j α ∈ P DOSeien A j → β 1 | . . . β n alle A j -Regeln.Füge hinzu: A i → β 1 α | β n αStreiche: A i → A j αEND;END;IF es gibt Regeln der Form A i → A i α THENwende Vorüberlegung an mit neuer Variabler B iENDEND.81