短语
短语 = 语法树子树的叶子序列。
给定文法 ,若 且 ,则称 是句型 相对于非终结符 的短语。
语法树视角:语法树的任一子树(叶子节点从左到右排列)即为一个短语。
直接短语
直接短语 = 一步推导得到的短语。
若 且 ,则称 是句型 相对于产生式 的直接短语。
语法树视角:高度为 1 的子树(父子两代)的叶子序列。
句柄
句柄 = 最左直接短语。
- 每个句型都有句柄(若语法树存在)
- 句柄是当前句型中第一个被规约的字符串
⚠️ 句柄必须指定所属句型
句柄必须指定所属句型——不是任何句型的句柄都要规约。
经典问题:栈顶 E 是句柄,但不一定规约(需看当前所处的具体句型)。
重点 句柄 = 最左直接短语(考试必考概念)。
句柄与 LR 分析
- 句柄是自下而上分析的核心
- LR 分析本质:寻找句柄进行规约
- 活前缀:不含句柄之后任何符号的前缀