Postać normalna Greibach to postać gramatyki bezkontekstowej, w której wszystkie reguły są postaci:
gdzie to dowolny symbol terminalny, to (być może pusty) ciąg symboli nieterminalnych.
Specjalny przypadek produkcji gramatyki typu 1 i wyżej stanowi produkcja
generująca wyraz pusty. Produkcja ta nie jest objęta formalną definicją gramatyki bezkontekstowej, która stwierdza, że prawa strona dowolnej produkcji nie może być krótsza niż lewa strona (monotoniczność), a co w tym konkretnym aspekcie ma miejsce. Produkcja ta jest dopuszczalna pod warunkiem, że symbol startowy nie występuje po prawej stronie żadnej produkcji danej gramatyki. W postaci normalnej Chomskiego, która stanowi podstawę dla postaci normalnej Greibach, produkcja ta zostaje przejęta bez zmian, ponieważ, wychodząc z założenia, że gramatyka nie zawiera symbolu startowego po prawej stronie, produkcja ta nie może zostać użyta w żadnej innej konfiguracji.
Nazwa wywodzi się od Sheili Greibach. W pierwotnym zamyśle w artykule definiującym tę postać normalną z roku 1965 autorka pisze:
skąd wynika, że ten specjalny przypadek produkcji nie jest zawarty w postaci.