定义 6.3 设有一不含ε产生式的算符文法G，如果对任意两个终结符对a，b之间至多只有 、 和 三种关系中的一种成立，则称G是一个算符优先文法。(Operator Precedence Grammar)即OPG文法。 　　结论：算符优先文法是无二义性的。