什么是句柄、什么是自上而下、自下而上分析—编译原理

系列文章戳这里👇

1. 什么是上下文无关文法、最左推导和最右推导
2. 如何判断二义文法及消除文法二义性
3. 何时需要消除左递归
4. 什么是句柄、什么是自上而下、自下而上分析
5. 什么是LL(1)、LR(0)、LR(1)文法、LR分析表
6. LR(0)、SLR(1)、LR(1)、LALR(1)文法之间的关系
7. 编译原理第三章习题
8. 词法分析、构建DFA、上下文无关文法、LL(1)分析、提取正规式
9. 证明LL(1)、SLR(1)、LALR(1)文法
10. 翻译方案、属性栈代码
11. 【运行时环境】什么是活动记录、 活动记录与汇编代码的关系

什么是自上而下(Top-down)

• 从文法的开始符号出发,反复使用各种产生式,寻找"匹配"的推导
• 推导:根据文法的产生式规则，把串中出现的产生式的左部符号替换成右部
• 从树的根开始,构造语法树
• 递归下降分析法、预测分析程序

什么是自下而上(Bottom-up)

• 从输入串开始,逐步进行归约,直到文法的开始符号
• 归约:根据文法的产生式规则,把串中出现的产生式的右部替换
  成左部符号
• 从树叶节点开始,构造语法树
• 算符优先分析法、LR分析法

核心思想 — (移进-规约)

移进 : 移进到栈里,当形成产生式时就弹出(规约)
规约:右部符号替换为左部符号

什么是句柄

非形式地说，句型的句柄(handle)是该句型中和一个产生式右部匹配的子串,并且,把它归约成该产生式左部的非终结符代表了最右推导过程的逆过程中的一步。在很多情况下，句型中能和产生式$A\to \beta$右部匹配的最左子串$\beta$就是句柄;但并非总是这样,有的时候用这个产生式归约后得到的串不能归约到开始符号。

举个栗子

再举个栗子

构造$(a,(a,a))$的最右推导，说出每个右句型的句柄。
划线部分为句柄