Die Greibach-Normalform ist ein Begriff der theoretischen Informatik, der im Zusammenhang mit kontextfreien Sprachen von Interesse ist. Sie ist nach der US-Informatikerin Sheila A. Greibach benannt und beschreibt eine Normalform der kontextfreien Grammatiken. Jede kontextfreie Grammatik, nach der nicht das leere Wort abgeleitet werden kann, kann in eine Greibach-Normalform transformiert werden. Die herausragende Eigenschaft der Greibach-Normalform ist, dass bei jedem Ableitungsschritt jeweils genau ein Terminalzeichen entsteht. Damit ist sie der natürliche Zwischenschritt bei der Umformung einer kontextfreien Grammatik in einen äquivalenten nichtdeterministischen Kellerautomaten ohne ${\displaystyle \varepsilon }$-Übergänge.

Eine weitere Normalform für kontextfreie Grammatiken ist die Chomsky-Normalform.

Sei ${\displaystyle G}$ eine kontextfreie Grammatik (vgl. Chomsky-Hierarchie), also ${\displaystyle G\in {\mbox{Typ}}_{2}}$, mit ${\displaystyle G=\left(N,\Sigma ,P,S\right)}$. Dabei sei ${\displaystyle N}$ die Menge der Nichtterminalsymbole, ${\displaystyle \Sigma }$ die Menge der Terminalsymbole, ${\displaystyle P}$ die Menge von Produktionsregeln und ${\displaystyle S}$ das Startsymbol. Sei das leere Element ${\displaystyle \varepsilon \notin L\left(G\right)}$.

${\displaystyle G}$ ist in Greibach-Normalform (kurz GNF), wenn alle Produktionen aus ${\displaystyle P}$ die Form ${\displaystyle A\rightarrow bB_{1}\ldots B_{k}}$ mit ${\displaystyle k\geq 0}$ haben, wobei ${\displaystyle b}$ ein Terminalsymbol ist und ${\displaystyle A}$ und ${\displaystyle B_{i}}$ für ${\displaystyle i\in \{1,\ldots ,k\}}$ Nichtterminale sind. Das Besondere an dieser Form ist also, dass auf der rechten Seite jeder Produktion genau ein Terminalsymbol gefolgt von beliebig vielen Nichtterminalen steht. Es ist aber insbesondere möglich, dass auf der rechten Seite der Produktion nur ein Terminalsymbol steht.

Mit ${\displaystyle k\in \{0,1\}}$ erhält man eine reguläre Grammatik als Spezialfall einer kontextfreien Grammatik in Greibach-Normalform.

Für alle ${\displaystyle G'\in {\mbox{Typ}}_{2}}$ mit ${\displaystyle \varepsilon \notin L\left(G'\right)}$ gibt es ein ${\displaystyle G\in {\mbox{Typ}}_{2}}$, mit ${\displaystyle L\left(G\right)=L\left(G'\right)}$, in Greibach-Normalform.

Ist allerdings ${\displaystyle \left(S,\varepsilon \right)\in P}$, dann darf ${\displaystyle S}$ nie auf der rechten Seite einer Produktion vorkommen. Somit ist gewährleistet, dass auch Sprachen, die das leere Wort enthalten, von einer Grammatik in Greibach-Normalform erzeugt werden können.

Der folgende Algorithmus überführt eine Grammatik ${\displaystyle G=\left(N,\Sigma ,P,S\right)}$ von der Chomsky-Normalform in die Greibach-Normalform. Der Algorithmus ist von theoretischer Bedeutung, da er zeigt, dass jede kontextfreie Grammatik, nach der nicht das leere Wort abgeleitet werden kann, in eine Greibach-Normalform transformiert werden kann. Die erzeugte Greibach-Normalform ist aber nicht minimal und es existieren Algorithmen mit besserer Laufzeit, die kleine Greibach-Normalformen berechnen.^[1]

Hierbei sind im Folgenden:

• ${\displaystyle A_{i},B_{i}\in N,i\in \mathbb {N} }$ Nichtterminale (hier repräsentiert ${\displaystyle A_{i}}$ bereits vorhandene und ${\displaystyle B_{i}}$ im Schema neu eingeführte Nichtterminalsymbole)
• ${\displaystyle a\in \Sigma }$ Terminale und
• ${\displaystyle V=\Sigma \cup N}$ das Vokabular der Grammatik
• ${\displaystyle x,y\in N^{*}}$ Folgen von Nichtterminalen (z. B. ${\displaystyle x=A_{1}A_{2}A_{3}}$)
• ${\displaystyle \alpha ,\beta \in V^{*}}$ Folgen von Terminalen und Nichtterminalen (z. B. ${\displaystyle x=aA_{1}A_{2}}$)

Zunächst bringt man die Grammatik in Chomsky-Normalform. Für das unten angegebene Schema braucht man eine beliebige totale Ordnung auf den Nichtterminalen. Dazu kann man die vorkommenden Nichtterminale in ${\displaystyle A_{1},\ldots ,A_{n}}$ mit ${\displaystyle n=|N|}$ umbenennen. Hierzu geht man wie folgt vor:

• Das erste vorkommende Nichtterminal wird in ${\displaystyle A_{1}}$ umbenannt.
• Das zweite vorkommende Nichtterminal wird in ${\displaystyle A_{2}}$ umbenannt.
• Dieses Schema wird fortgesetzt, bis man alle vorkommenden Nichtterminale ersetzt hat.

Beispiel: ${\displaystyle P=\{S\rightarrow ADE{,}A\rightarrow aDG{,}G\rightarrow b\}}$

• Die erste vorkommende Variable ist ${\displaystyle S}$, und wird deswegen in ${\displaystyle A_{1}}$ umbenannt.
• Die zweite vorkommende Variable ist ${\displaystyle A}$, und wird deswegen in ${\displaystyle A_{2}}$ umbenannt.
• führt man diese Schema weiter, kommt man zu ${\displaystyle P=\{A_{1}\rightarrow A_{2}A_{3}A_{4}{,}A_{2}\rightarrow aA_{3}A_{5}{,}A_{5}\rightarrow b\}}$

In dieser Phase verwendet der Algorithmus die folgenden zwei Formen von Ersetzungen von Regeln. Nach diesem Schritt gilt für alle Regeln ${\displaystyle A_{i}\rightarrow A_{j}\,x}$ der Grammatik, dass ${\displaystyle i<j}$.

Mit dieser Ersetzungsregel entfernt der Algorithmus alle Regeln der ${\displaystyle A_{i}\rightarrow A_{j}x}$. Die Voraussetzung ist, dass es keine rekursiven Regeln für das Nichtterminal ${\displaystyle A_{j}}$ gibt. Die Regeln der Form ${\displaystyle A_{i}\rightarrow A_{j}x}$ werden dann ersetzt, indem das Nichtterminal ${\displaystyle A_{j}}$ durch seine Produktionen ersetzt werden.

Regel1(${\displaystyle A_{i},A_{j}}$)
 für alle ${\displaystyle A_{i}\rightarrow A_{j}\,x}$
    für alle ${\displaystyle A_{j}\rightarrow \beta }$
       Füge ${\displaystyle A_{i}\rightarrow \beta \,x}$ hinzu
    ende
    Entferne ${\displaystyle A_{i}\rightarrow A_{j}\,x}$
 ende

Beispiel: ${\displaystyle A_{2}\rightarrow A_{1}x}$ mit ${\displaystyle A_{1}\rightarrow A_{3}{|}A_{4}}$ wird zu ${\displaystyle A_{2}\rightarrow A_{3}x{|}A_{4}x}$.

Linksrekursive Regeln haben die Form ${\displaystyle A_{i}\rightarrow A_{i}\,x_{1}|A_{i}\,x_{2}|\ldots |A_{i}\,x_{n}|\beta _{1}|\beta _{2}|\ldots |\beta _{n}}$, d. h. eine Variable kann wieder auf sich selbst ableiten. Durch wiederholtes Einsetzen sieht man leicht, dass durch linksrekursive Regeln genau der reguläre Ausdruck

${\displaystyle (\beta _{1}|\beta _{2}|\ldots |\beta _{n})(x_{1}|x_{2}|\ldots |x_{n})^{*}}$

erzeugt werden kann. Dies kann leicht anders erreicht werden:

Man ersetzt die Regeln für linksrekursive ${\displaystyle A_{i}}$ durch:

${\displaystyle A_{i}\rightarrow \beta _{1}|\beta _{2}|\ldots |\beta _{n}|\beta _{1}\,B_{i}|\beta _{2}\,B_{i}|\ldots |\beta _{n}\,B_{i}}$

und fügt neue Regeln für ${\displaystyle B_{i}}$ ein:

${\displaystyle B_{i}\rightarrow x_{1}|x_{2}|\ldots |x_{n}|x_{1}\,B_{i}|x_{2}\,B_{i}|\ldots |x_{n}\,B_{i}}$

Regel2(${\displaystyle A_{i}}$)
 für alle ${\displaystyle A_{i}\rightarrow \beta }$
    Füge ${\displaystyle A_{i}\rightarrow \beta \,B_{i}}$ hinzu
 ende
 für alle ${\displaystyle A_{i}\rightarrow A_{i}\,x}$
    Füge ${\displaystyle B_{i}\rightarrow x}$ hinzu
    Füge ${\displaystyle B_{i}\rightarrow x\,B_{i}}$ hinzu
    Entferne ${\displaystyle A_{i}\rightarrow A_{i}\,x}$
 ende

Der Algorithmus wendet die obigen zwei Ersetzungsregeln für ${\displaystyle A_{1}}$ bis ${\displaystyle A_{m}}$ an, sodass zunächst immer Regeln der Form ${\displaystyle A_{i}\rightarrow A_{j}\,x,~i>j}$ ersetzt werden und dann linksrekursive Regeln mit ${\displaystyle A_{i}}$ eliminiert werden.

 für i:=1 bis m
    für j:=1 bis i-1
       Regel1(${\displaystyle A_{i},A_{j}}$)
    ende
    Regel2(${\displaystyle A_{i}}$)
 ende

Ab jetzt gibt es nur noch Regeln der Form ${\displaystyle A_{i}\rightarrow A_{j}\,x,~i<j}$ oder der Form ${\displaystyle A_{i}\rightarrow x}$. Insbesondere gilt, dass alle ${\displaystyle A_{m}}$ Regeln auf der rechten Seite mit einem Terminalsymbol beginnen.

In diese Phase werden alle Regeln über die Nichtterminale ${\displaystyle A_{i}}$ in die Form ${\displaystyle A_{i}\rightarrow a\,N^{*}}$ transformiert. Der Algorithmus beginnt bei den ${\displaystyle A_{m-1}}$ Regeln und ersetzt Regeln, die mit einem Nichtterminal beginnen werden, indem die Produktionen des Nichtterminals eingesetzt werden. Hier wird ausgenutzt, dass wenn ${\displaystyle A_{i}}$ Regeln betrachtet werden, die ${\displaystyle A_{j}}$ Regeln für ${\displaystyle j>i}$ schon in der gewünschten Form sind.

 für i:=m-1 bis 1
    für j:=i+1 bis m
         Regel1(${\displaystyle A_{i},A_{j}}$)
    ende
 ende

Im letzten Schritt werden alle Regeln über die neuen Nichtterminale ${\displaystyle B_{i}}$ in die Greibach-Normalform transformiert. Regeln, die mit einem Nichtterminal beginnen, werden ersetzt, indem die Produktionen dieses Nichtterminals eingesetzt werden.

 für alle ${\displaystyle B_{i}\rightarrow A_{j}\,x}$
    für alle ${\displaystyle A_{j}\rightarrow \beta }$
       Füge ${\displaystyle B_{i}\rightarrow \beta \,x}$ hinzu
    ende
    Entferne ${\displaystyle B_{i}\rightarrow A_{j}\,x}$
 ende

Hier wird ausgenutzt, dass die ${\displaystyle A_{j}}$ Regeln alle schon in Greibach-Normalform sind und die ${\displaystyle B_{i}}$ nie als erstes Symbol der rechten Seite einer Regel auftreten.

Es ist auch möglich, die Produktionen einer kontextfreien Grammatik so in Greibach-Normalform umzuformen, dass auf jeder rechten Seite maximal 2 Variablen vorkommen. Die resultierenden Produktionen haben dann also die Form ${\displaystyle A_{i}\rightarrow a}$, ${\displaystyle A_{i}\rightarrow aV}$ oder ${\displaystyle A_{i}\rightarrow aV_{1}V_{2}}$.

Um aus einer Grammatik ${\displaystyle G=(N,T,P,S)}$ in GNF einen Kellerautomaten ${\displaystyle M=(Z,\Sigma ,\Gamma ,\delta ,q_{0},Z_{0},F)}$ zu konstruieren, wähle die Zustandsmenge von ${\displaystyle M}$ als ${\displaystyle Z=\{q_{0}\}}$, das Kelleralphabet ${\displaystyle \Gamma =N}$, das Bandalphabet ${\displaystyle \Sigma =T}$, das Kellerstartsymbol ${\displaystyle Z_{0}=S}$ und die Menge der Endzustände ${\displaystyle F=\emptyset }$. Als Übergangsrelation wähle ${\displaystyle \delta (q_{0},a,A)=\{(q_{0},x):(A\rightarrow ax)\in P\}}$. ${\displaystyle M}$ akzeptiert über leeren Keller. Beweis per Induktion^[2].

• Uwe Schöning: Theoretische Informatik – kurz gefasst. 5. Auflage. Spektrum Akademischer Verlag, Heidelberg, ISBN 978-3-8274-1824-1, 1.3 Kontextfreie Sprachen. 
• Ingo Wegener: Theoretische Informatik. Eine algorithmenorientierte Einführung. B.G. Teubner, Stuttgart, ISBN 3-519-02123-4, 7.1 Die Greibach-Normalform für kontextfreie Grammatiken. 

1. ↑ Norbert Blum, Robert Koch: Greibach Normal Form Transformation Revisited. In: Information and Computation. 150. Jahrgang, Nr. 1, 1999, S. 112–118, doi:10.1006/inco.1998.2772. 
2. ↑ Beweis der Konstruktion des Kellerautomaten aus der GNF