因为非终结符不能影响语法分析,所以不需要区分它们,于是只用一个占位符来代替它们 算法的主体思想: 用栈存储已经看到的输入符号,用优先关系指导移动归约语法分析器的动作 如果栈顶的终结符和下一个输入符之间的优先关系是<或=,则语法分析器移动,表示还没有发现句柄的右端 如果是>关系,就调用归约 算法描述: 输入...