图 6.8 句型T+T*F+i的语法树
　　若有句型#T+T*F+i#，它的语法树如图6.8。其短语有：
　　T+T*F+i 相对于非终结符E的短语
　　T+T*F 相对于非终结符E的短语
　　T 相对于非终结符E的短语
　　T*F 相对于非终结符T的短语
　　i 相对于非终结符P,F,T的短语
　　由定义6.5知i和T*F为素短语，T*F为最左素短语。也为算符优先分析的可归约串。由6.2.4(1)可知一个算符优先文法的最左素短语满足如下条件：
　　ai-1 ai ai+1 ... aj aj+1
　　上述句型#T+T*F+i#写成算符分析过程的形式为：
　　#N1a1N2a2N3a3a4#其中a1 = +, a2 = *, a3 = +, a4 = i
　　a1 a2 (因+ *)
　　a2 a3 (因* +)
　　由此 N2a2N3 即T*F为可归约串，也就是前面分析的最左素短语。
　　在实际分析过程中不必考虑非终结符名是T还是F或是E，而只要知道是非终结符即可，具体在表达式文法中的T还是F或是E都为运算对象。
　　上述句型#T+T*F+i#的归约过程由于去掉了单非终结符E→T，T→F的归约，所以得不到真正的语法树，而只是构造出语法树的框架如图6.9。
图 6.9 算符优先分析时语法树的框架
　　特别要注意在算符优先分析过程中，因去掉了单非终结符之间的归约，非终结符的名字没有任何意义。所以在归约过程中所有的非终结符都用同一个名字。