格雷巴赫标准式 在计算机科学中声称一个上下文无关文法是Greibach 标准式范式GNF的意味着所有的产生规则都有如下形式 A  α X displaystyle Ato alpha X 或 S  ϵ displaystyle Sto epsilon  这里的 A 是非终结符α 是终结符X 是不包括开始符号的非终结符的可能为空的序列S 是开始符号而 ε 是空串 可观察出这种文法没有左递归 所有上下文无关文法口可以被转换成等价的 Greibach 范式的文法某些定义不认可第二种形式的规则在这种情况下能生成空串的上下文无关文法不能被如此转换这可以被用来证明所有上下文无关语言可以被非确定下推自动机所接受 给定 GNF 的一个文法和长度为 n 的符合这个文法的一个可导出的字符串任何自顶向下分析器将在深度 n 停机 Greibach 范式得名于 Sheila Greibach