Postać normalna Greibach
Z Wikipedii
Postać normalna Greibach to postać gramatyki bezkontekstowej, w której wszystkie reguły są postaci:
Gdzie a to dowolny symbol terminalny, X zaś to (być może pusty) ciąg symboli nieterminalnych.
Każdą gramatykę bezkontekstową nie generującą symbolu pustego można przedstawić w postaci normalnej Greibach.
Nazwa wywodzi się od Sheili Greibach.
Zobacz też: postać normalna Chomsky'ego.