为什么在cabd中,ab是"可归约串",而a不是"可归约串"?如何知道这点,这是自下而上分析的关键问题。因此需要精确定义"可归约串"。事实上,存在种种不同的方法刻画"可归约串"。对这个概念的不同定义形成了不同的自下而上分析方法。在一种称作"规范归约"的分析中,这种"可归约串"称作"句柄"。现在我们给出句柄的定义。
  定义4.8 令G是一文法,S是文法的开始符号,αβδ是文法G的一个句型。如果有:
  S αAδ且A β则称β是句型αβδ相对于非终结符A的短语。特别,如有A β则称β是句型αβδ相对于规则A→β的直接短语(也称简单短语)。一个句型的最左直接短语称为该句型的句柄