由于算符优先分析过程归约时,只能把
和
之间的符号串作为可归约串进行归约。
例如:若有一输入串i+i#,用表达式文法的算符优先关系表6.5,进行算符优先归约时步骤如表6.8。
由表6.8可以看出算符优先分析不是规范归约,在第3)步和第6)步栈顶的F都不能当做句柄归约为T,因为在第3)步句型#F+i#中,只有#
+,所以 F 构不成句柄,在第6)步句型#F+F#中,也只有#
+和+
#,因而栈顶的F仍不能构成句柄。而对输入串i+i#当用规范归约时其过程如表6.7。
至于为什么在规范归约的过程中F能构成句柄的原因将在第7章的LR类分析法中介绍。
为了解决在算符优先分析过程中如何寻找到可归约串的问题,现引进最左素短语的概念。