以上三种关系也可由下列语法树来说明:
  ① 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)。