Eine kontextfreie Grammatik ist in Greibach-Normalform, wenn jede Produktion die Form
hat, wobei aaa ein Terminal und α\alphaα eine Folge von Nichtterminalen ist.