以上三种关系也可由下列语法树来说明:
① a
b 则存在语法子树如图6.3(a)
其中δ为ε或为B,这样a, b在同一句柄中同时归约所以优先级相同。
② a
b 则存在语法子树如图6.3(b)
其中δ为ε或为C。a,b不在同一句柄中,b先归约,所以a的优先级低于b。
③ a
b 则存在语法子树如图6.3(c) 。
图6.3 由语法树结构决定优先性
其中δ为ε或为C,a、b不在同一句柄中,a先归约,所以a的优先性大于b。
下面我们给出算符优先文法的定义。
由定义6.2可有如下推论:
a) 若有产生式A→a…或A→B a…、
则a∈FIRSTVT(A),其中A、B为非终结符,a为终结符。
b) 若a∈FIRSTVT(B)且有产生式A→B…则有a∈FIRSTVT(A)。