若一文法具有下列二个性质之一,则可以很容易用人工建构出非常有效率的移位缩减剖析器。此二性质为:
(1)在生产规则的右边没有空字串,
(2)没有二个相邻的非终结符号。
若有一文法符合上述第二项规定者,则称该文法为运算子文法。例:
E->EOE│(E)│-E│id
O->+│-
此文法并不是运算子文法,因其有二个以上连续的非终结符号(EOE),但将非终结符号(O)的生产规则代入则文法可变成
E->E+E│E-E│(E)│-E│id
则变成运算子文法了。