在计算机科学中，声称一个上下文无关文法是Greibach 标准式（范式）(GNF)的意味着所有的产生规则都有如下形式：或这里的 "A" 是非终结符，α 是终结符，"X" 是不包括开始符号的非终结符的（可能为空）的序列，"S" 是开始符号，而 "ε" 是空串。可观察出这种文法没有左递归。所有上下文无关文法口可以被转换成等价的 Greibach 范式的文法。（某些定义不认可第二种形式的规则，在这种情况下能生成空串的上下文无关文法不能被如此转换。）这可以被用来证明所有上下文无关语言可以被非确定下推自动