5.1.2规范归约 ■ 定义：令G是一个文法，S是文法的开始符 号，假定oBδ是文法G的一个句型，如果有 SS16且A÷B 则B称是句型oBδ相对于非终结符A的短语。 特别是，如果有A→B,则称B是句型Bδ相对 于规则A→B的直接短语。一个句型的最左 直接短语称为该句型的句柄。 国防科技大学计算机系602教研室国防科技大学计算机系602教研室 5.1.2 规范归约 ◼ 定义：令G是一个文法，S是文法的开始符 号，假定是文法G的一个句型，如果有 S  * A 且  + A 则称是句型相对于非终结符A的短语。 特别是，如果有A,则称是句型相对 于规则A→ 的直接短语。一个句型的最左 直接短语称为该句型的句柄