算符优先分析

反向的自顶向上，依然找不到句柄，且可能出现回溯

建立一张终结符 × 终结符的符号表，表示优先级关系，上面表示栈外符号，左面表示站内符号

a<b: 栈内a遇到栈外b时，b移进

>: a规约

仅适用于算符优先文法OPG

文法规则中不存在两个非终结符相邻的文法

终结符优先级生成规则：

定义FIRSTVT(A)：A推导出来的式子中第一个Vt

LASTVT(A): 倒数第一个Vt

若A → B… (B∈Vn)，则FIRSTVT(A) 包含 FIRSTVT(B)

LASTVT类比

不产生优先级冲突则为算符优先文法OPG

算符优先分析每次归约的的不是句柄，而是最左素短语

素短语：带有终结符的短语，且不存在子素短语（某部分可以单独成为素短语）