算符文法：即它的任一产生式的右部都不含两个相继的非终结符的文法。如果G是一个不含空字符的算法文法，那么只要它的任一对终结符都只满足>，=，a、、、或P->Qa、、、，a属于终结字符集，而Q属于非终结字符集}