短语

短语 = 语法树子树的叶子序列。

给定文法 ,若 ,则称 是句型 相对于非终结符 短语

语法树视角:语法树的任一子树(叶子节点从左到右排列)即为一个短语。

直接短语

直接短语 = 一步推导得到的短语。

,则称 是句型 相对于产生式 直接短语

语法树视角:高度为 1 的子树(父子两代)的叶子序列。

句柄

句柄 = 最左直接短语。

  • 每个句型都有句柄(若语法树存在)
  • 句柄是当前句型中第一个被规约的字符串

⚠️ 句柄必须指定所属句型

句柄必须指定所属句型——不是任何句型的句柄都要规约。

经典问题:栈顶 E 是句柄,但不一定规约(需看当前所处的具体句型)。

重点 句柄 = 最左直接短语(考试必考概念)。

句柄与 LR 分析

  • 句柄是自下而上分析的核心
  • LR 分析本质:寻找句柄进行规约
  • 活前缀:不含句柄之后任何符号的前缀