格雷巴赫標準式

在計算機科學中 ， 聲稱一個上下文無關文法是Greibach 標準式 （ 範式 ） ( GNF ) 的意味着所有的產生規則都有如下形式 ： 或 這裏的 A 是非終結符 ， α 是終結符 ， X 是不包括開始符號的非終結符的 （ 可能爲空 ） 的序列 ， S 是開始符號 ， 而 ε 是空串 。 可觀察出這種文法沒有左遞歸 。 所有上下文無關文法口可以被轉換成等價的 Greibach 範式的文法 。 （ 某些定義不認可第二種形式的規則 ， 在這種情況下能生成空串的上下文無關文法不能被如此轉換 。 ） 這可以被用來證明所有上下文無關語言可以被非確定下推自動機所接受 。 給定 GNF 的一個文法和長度爲 n 的符合這個文法的一個可導出的字符串 ， 任何自頂向下分析器將在深度 n 停機 。 Greibach 範式得名於 Sheila Greibach 。