formula_33, formula_34 和 formula_35 代表任意终结符和非终结符组成的串（也可能是空串）。前缀长度与用于保存向前探查结果的缓冲区尺寸一致，并且该定义表明了，缓冲区足以区分任意两个不同单词的推导。本分析器可以处理特定形式文法的符号串。本分析器由以下部件组成：分析器根据分析栈的栈顶符号（行）以及当前输入流中的符号（列）来决定使用哪一条规则。当分析器一开始执行时，分析栈中已经有两个符号：'$'时一个特殊的终结符，用于表示分析栈的栈底或者输入的结束；而'S'则时