是开始符号，而 "ε" 是空串。可观察出这种文法没有左递归。所有上下文无关文法口可以被转换成等价的 Greibach 范式的文法。（某些定义不认可第二种形式的规则，在这种情况下能生成空串的上下文无关文法不能被如此转换。）这可以被用来证明所有上下文无关语言可以被非确定下推自动机所接受。给定 GNF 的一个文法和长度为 "n" 的符合这个文法的一个可导出的字符串，任何自顶向下分析器将在深度 "n" 停机。Greibach 范式得名于 Sheila Greibach。
范例