kontextfreie Grammatik, in der jede Regel die Form (A, aW) hat, wobei A ein Nichtterminalzeichen, a ein Terminalzeichen und W eine Sequenz aus Nichtterminalzeichen ist.

Zu jeder ϵ–freien kontextfreien Sprache gibt es eine Greibach–Normalform.