、
、
定义如下
：① a
b
当且仅当G中含有形如A→…ab…或A→…aBb…的产生式② a
b
当且仅当G中含有形如A→…aB …的产生式，且B
b…
或BCb…③ a
b当且仅当G中含有形如A→…Bb
…的产生式，且B…a
或B…aC| 定义6.2 设G是一个不含ε产生式的算符文法，a和b是任意两个终结符，A、B、C是非终结符，算符优先关系、、定义如下
： ① a b
当且仅当G中含有形如A→…ab…或A→…aBb…的产生式② a b
当且仅当G中含有形如A→…aB …的产生式，且Bb…
或BCb…③ a b当且仅当G中含有形如A→…Bb
…的产生式，且B…a
或B…aC |