编译原理5——自下而上的分析方法

最新推荐文章于 2024-07-16 18:50:37 发布

皎月既望

最新推荐文章于 2024-07-16 18:50:37 发布

阅读量99

点赞数

分类专栏：编译原理复习分享文章标签：学习

本文链接：https://blog.csdn.net/weixin_65518198/article/details/134518734

版权

编译原理复习分享专栏收录该内容

6 篇文章 0 订阅

订阅专栏

概览

短语、直接短语、素短语、最左素短语
算符优先文法
判断是否是算符优先文法
1. FIRSTVT集合
  构造FIRSTVT集合
2. LASTVT集合
  构造
LR分析法
1. 状态分析表
  根据状态分析表进行归约
2. ACTION[s,a]
3. GOTO[]
4. SLR分析
5. 闭包
6. 状态转换函数GO
7. LR(0)文法

5.1 自下而上分析基本问题

5.1.1 归约

"移进-规约"法
用一个寄存符号的先进后出栈，把输入符号一个一个地移进到栈里，当栈顶形成某个产生式的一个候选式时，即把栈顶的这一部分替换成（归约为）该产生式的左部符号
中心问题：怎样判断栈顶的符号串的可归约性，以及如何归约

5.1.2 规范规约简述

令 $G$ 是一个文法，S是文法的开始符号，假定 $\alpha\beta\delta$ 是文法 $G$ 的一个句型，如果有
$S\xRightarrow{*}\alpha A\delta$ 且 $A\xRightarrow{*}\beta$
则称 $\beta$ 是句型 $\alpha\beta\delta$ 相对于非终结符 $A$ 的短语。
特别是，如果有， $A\Rightarrow \beta$ ，则称 $\beta$ 是句型 $\alpha\beta\delta$ 相对于规则 $A\rightarrow \beta$ 的直接短语，
一个句型的最左直接短语称为该句型的句柄。

短语
由一个非终结符产生的一串符号（以某个非终结符为根的树的叶节点序列，可以含非终结符）
直接短语
由一个非终结符直接产生的一串符号
素短语
至少含有一个终结符，并且，除它自身之外不再含任何更小的素短语（从每种程度上来说，素短语与直接短语高度重合）
最左素短语
处于句型最左边的那个素短语
句柄
最左侧由一个非终结符直接产生的一串符号（基本与最短素短语无异）
规范归约/最左归约
序列 $\alpha_n,\alpha_{n-1},\cdots,\alpha_0$ 是 $\alpha$ 的一个规范归约，当：
1. $\alpha_n=\alpha$
2. $\alpha_0$ 为文法的开始符，即 $\alpha_0=S$
3. 对任何 $i$ , $0<i\leq n$ ， $\alpha_{i-1}$ 是从 $\alpha_i$ 经把句柄替换为相应产生式的左部符号而得到的
  就是由初始句逐步替换句柄直至返回开始符
规范推导
产生式的使用顺序调过来（最右推导）
$\star$ 文法无二义，则最右推导的逆过程必然为规范推导
规范句式
规范推导所得的句型

5.1.3 符号栈的使用与语法树的表示

“移进-归约”分析器：符号栈、输入缓冲区

以#作为栈底符，预先推进栈
将字符串首字符推入栈
1. 发现可归约，进行归约，即弹出待归约字符串，压入归约后的非终结符
2. 未发现可归约，继续
将所有可归约符号归约后
1. 符号栈：#S，输入栈：#：归约成功
2. 否则失败，说明存在语法错误
  对于符号栈的四类操作：
移进
归约
接受
出错处理
$\star$ 可归约串必然出现在栈顶，不可能出现在栈的内部

5.2 算符优先分析

算符优先
定义算符之间（终结符之间）的某种优先关系
1. $a\lessdot b$ ： $a$ 的优先级低于 $b$
2. $a = b$ ： $a$ 的优先级等于 $b$
3. $a\gtrdot b$ ： $a$ 的优先级大于 $b$
  $\star$ 算符优先分析法不是规范归约法
  $\star$ 无二义文法是算符优先文法的充分条件

5.2.1 算符优先文法及优先表构造

算符文法
任意产生式的右部都不含两个相继（并列）的非终结符（例如 $QR \cdots QR\cdots$ ）
简单说就是任何两个非终结符之间必须夹至少一个终结符
算符优先文法
$G$ 是算符文法，且 $G$ 中的任意两终结符只满足 $a\lessdot b$ 、 $a = b$ 、 $a\gtrdot b$ 其中之一
1. $a = b$ ：存在 $P\rightarrow \cdots ab\cdots$ 或 $P\rightarrow \cdots aQb\cdots$
2. $a\lessdot b$ ：存在 $P\rightarrow \cdots aR\cdots$ ，且 $R\xRightarrow{+}b\cdots$ 或 $R\xRightarrow{+}Qb\cdots$
  因为要优先归约R，则R内的第一个终结符较外部开头最近终结符优先级高
3. $a\gtrdot b$ ：存在 $P\rightarrow \cdots Rb\cdots$ ，且 $R\xRightarrow{+}\cdots a$ 或 $R\xRightarrow{+}\cdots aQ$
  因为要优先归约R，则R内的最后一个终结符较外部结尾最近终结符优先级高
$F I RST V T (P)$
1. 定义
  $FIRSTVT(P)=\{a|P\xRightarrow{+}a\cdots或P\xRightarrow{+}Qa\cdots,a\in V_T而Q\in V_N\}$
  P句型第一个终结符的集合
2. 应用
  若后选型 $aP \cdots aP\cdots$ ， $b\in FIRSTVT(P)$ ，则： $a\lessdot b$
3. 构造
4. 若有产生式 $P\rightarrow a\cdots$ 或 $P\rightarrow Qa\cdots$ ，则 $a\in FIRSTVT(P)$
5. 若 $a\in FIRSTVT(Q)$ ，且有产生式 $P\rightarrow Q\cdots$ ，则 $a\in FIRSTVT(P)$
$L A ST V T (P)$
1. 定义
  $LASTVT(P)=\{a|P\xRightarrow{+}\cdots a或P\xRightarrow{+}\cdots aQ,a\in V_T而Q\in V_N\}$
  P句型最后一个终结符的集合
2. 应用
  若后选型 $Pb \cdots Pb\cdots$ ， $a\in LASTVT(P)$ ，则： $a\gtrdot b$
3. 构造
  1. 若有产生式 $P\rightarrow\cdots a$ 或 $P\rightarrow\cdots aQ$ ，则 $a\in LASTVT(P)$
  2. 若 $a\in LASTVT(Q)$ ，且有产生式 $P\rightarrow\cdots Q$ ，则 $a\in LASTVT(P)$
优先表
横纵坐标均为终结符，内容为优先级，表示为：
$(内容,如\lessdot) 横坐标$

5.2.2 算符优先分析算法

最左素短语
最左子串 $N_ja_j\cdots N_ia_iN_{i+1}$
1. $a_{j-1}\lessdot a_j$
2. $a_j=a_{j+1},\cdots,a_{i-1}=a_i$
3. $a_i\gtrdot a_{i+1}$
算符优先分析算法
1. 不断读入字符串，此时最靠近栈顶终结符为 $a$ ，待压入终结符为 $b$
  1. 若栈为空，压入字符
  2. 若 $a\lessdot b$ ，压入，记该 $b$ 为 $\alpha$ （这里可以考虑将a的位置压入一个栈，因为可能有多层，但如果只是一个一个弹出的话，则完全没有必要，因为可以边弹边检查）
  3. 若 $a = b$ ，压入
  4. 若 $a\gtrdot b$ ，记该 $a$ w为 $\beta$ ，逐步弹栈至弹出 $\alpha$ ，对 $N_i\alpha\cdots\beta N_j$ 进行归约，结果压入栈
2. 字符串读完，栈内为 $\#S$ ，字符串剩余 $\#$ ，则匹配成功
  $\star$ 算符分析的结果不一定是语法树，算符优先分析并不等价于规范规约
  $\star$ 算符优先分析较规范规约更快，但忽略了非终结符的作用，具有一定的危险性

5.2.3 优先函数

上课没讲，简单看看

入栈优先函数 $f(\theta)$ ，比较优先函数 $g(\theta)$
1. 若 $\theta_1\lessdot \theta_2$ ，则： $f(\theta_1)<g(\theta_2)$
2. 若 $\theta_1=\theta_2$ ，则： $f(\theta_1)=g(\theta_2)$
3. 若 $\theta_1\gtrdot \theta_2$ ，则： $f(\theta_1)>g(\theta_2)$

5.2.4 算符优先分析中的出错处理

略

5.3 LR分析法

5.3.1 LR分析器

关键问题：找句柄
基本思想：记住“历史”（已经移入与归约的符号串），“展望”未来（预测未来可能碰到的输入符号）
实质：一个带栈的确定有限自动机

分析表
LR分析器的核心部分
1. ACTION表（动作）
  $A CT I ON [s, a]$ ， $s$ 状态面临 $a$ 动作时进行的动作
  1. 移进
    把新的 $s$ 与 $a$ 压入栈
  2. 归约
    根据某一产生式，弹出一段符号，归约成新的 $a$
  3. 接受
    分析成功
  4. 报错
    出现非 $A CT I ON$ 表规定动作，即出错
2. GOTO表（状态转换）
  $GOTO [s, X]$ ，状态 $s$ 面临 $X$ 符号的下一步动作
组成：
1. 纵坐标
  状态
2. 横坐标
  1. ACTION表
    终结符
  2. GOTO表
    非终结符
3. 内容
  1. ACTION表
    纵坐标为目前状态栈顶的值
    1. r $i$
      该符号压入栈后，根据 $(i)$ 规则弹出候选式并进行归约，得到的非终结符后，依照弹出后现有栈顶状态进行压入操作
    2. s $i$
      该符号压入栈后，压入状态 $i$
    3. acc
      仅出现在 $\#$ 一栏中，表示接受
    4. 【empty】
      错误
  2. GOTO表
    纵坐标为执行弹栈操作后状态栈顶的值
    1. $i$
      该符号压入栈后，压入状态 $i$
    2. 【empty】
      错误
LR文法
LR分析表入口唯一确定，即句柄一旦出现在栈顶就可以进行归约处理
非LR结构
例
$S\rightarrow iCiS|iCtSeS$
当可能是句柄的语句出现时无法判断是继续压入还是归约

$\star$ LR文法是无二义文法的真子集，但LR分析技术方法具有一定的二义文法分析能力
略

5.3.2 LR(0)项目集族和LR(0)分析表的构造

（只包含“历史”，不考虑“展望”）

5.3.2.1 定义

前缀
字的任意首部
例：
$ab c$ 的前缀有： $\varepsilon$ 、 $a$ 、 $ab$ 、 $ab c$
活前缀
规范句型的一种前缀，不含句柄之后的任何符号（简单说就是最左素短语的前缀）
只要栈内是活前缀，则扫描部分没有出错
构造有限自动机识别文法的所有活前缀
LR(0)项目/项目
例：
$A\rightarrow XYZ$ 的项目：
$A\rightarrow \cdot XYZ$
$A\rightarrow X\cdot YZ$
$A\rightarrow XY\cdot Z$
$A\rightarrow XYZ\cdot$
$\star$ $A\rightarrow\varepsilon$ 的项目只有 $A\rightarrow\cdot$
分析表的产生过程
1. 构造DFA，识别活前缀（该DFA以项目集位节点）
2. 将DFA转化为分析表
LR(0)项目规范族
构成识别一个文法活前缀的DFA的项目集（状态）的全体
1. 规约项目
  $A\rightarrow\alpha\cdot$
  1. 接受项目
    $S'\rightarrow\alpha\cdot$
2. 移进项目
  $A\rightarrow\alpha\cdot\alpha\beta$
3. 待约项目
  $A\rightarrow\alpha\cdot B\beta$

5.3.2.2 LR(0)项目集规范族的构造

拓广
引入 $S'\rightarrow S$ （原本文法中右侧生成可能包含S，会影响终态的判断，以S’代替S产生明确的接受态）
拓广文法
接受态： $S'\rightarrow S\cdot$
$C L OS U RE (I)$
$I$ 是拓展文法的任意一项目集
1. $I$ 的任何项目都属于 $C L OS U RE (I)$
2. 若 $A\rightarrow\alpha\cdot B\beta$ 属于 $C L OS U RE (I)$ ，那么，对于任何关于 $B$ 的产生式 $B\rightarrow\cdot\gamma$ 也属于 $C L OS U RE (I)$
3. 重复执行上述两步骤直至 $C L OS U RE (I)$ 不再增大为止
$GO (I, X) = C L OS U RE (J)$
$X$ 为一个文法符号
$J=\{任何形如A\rightarrow\alpha X\cdot\beta|A\rightarrow\alpha\cdot X\beta属于I\}$
（GO函数描述了一个状态I经文法符号X转变为J）
（以CLOSURE(I)为节点，GO函数为方向，可构成DFA）
有效的
某非待约项目对活前缀有效的前提是该项目归约的结果是活前缀所在项目的候选式的一部分
$\star$ 一个活前缀可能有多个有效项目，此时需要向后看（展望）
1. 有效项目
LR(0)文法
前提
1. 不含既移进又归约的项目
2. 一个状态不含多归约项目
LR(0)表
构造方式
以DFA为参考
1. 终结符移进项目 $I_{x}\xrightarrow{\alpha} I_{y}$
  ACTION表 $(\alpha,x)$ 置为 $s_{y}$
2. 非终结符移进项目 $I_{x}\xrightarrow{P}I_{y}$
  GOTO表 $(P, x)$ 置为 $y$
3. 规约项目 $I_{x}$ ，且对应归约规则 $(m)$
  ACTION表 $(?, x)$ 置为 $r_{m}$
4. 项目 $S'\rightarrow S\cdot$ 为项目 $I_{x}$
  ACTION表 $(\#,x)$ 置为acc
5. 其余均为报错
（(x,y)的x为终结符/非终结符，y为状态）
LR(0)分析器
使用LR(0)表的分析器

5.3.3 SLR分析表的构造

（简单“展望”）

SLR(1)解决办法
对于既有移进也有归约/多个归约的项目（移进-归约冲突），
考察比较待移进字符与下一个字符/FOLLOW集合，根据比较结果执行指令
1. 若 $a$ 是某个移进项目的 $a_i$ ，移进
2. 若 $a\in FOLLOW(P)$ ，执行 $P\rightarrow\alpha$ 归约
3. 报错
SLR表
构造
1. 终结符移进项目 $I_{x}\xrightarrow{\alpha} I_{y}$
  ACTION表 $(\alpha,x)$ 置为 $s_{y}$
2. 非终结符移进项目 $I_{x}\xrightarrow{P}I_{y}$
  GOTO表 $(P, x)$ 置为 $y$
3. 规约项目 $I_{x}$ ，且对应归约规则 $(m)$ ，归约为 $P$ （该处与LR(0)有所区别）
  ACTION表 $(\alpha_i,x)$ 置为 $r_{m}$ （ $\alpha_i\in FOLLOW(P)$ ）（简单说就是有这些文字出现即需要归约，当然，其他字符出现则可能意味着出错/移进，具体看是否会再填单词进去）
4. 项目 $S'\rightarrow S\cdot$ 为项目 $I_{x}$
  ACTION表 $(\#,x)$ 置为acc
5. 其余均为报错
SLR(1)文法
具有SLR表的文法G
SLR分析器
使用SLR分析表的分析器
（SLR分析表简单的将所有FOLLOW集合中的元素一股脑的当作允许归约的信号，实际上未考虑到活前缀对于归约动作的要求和规范）

5.3.4 规范LR分析表的构造

简单说，就是升级版的SLR，展望n位

LR(k)项目
项目一般形式： $[A\rightarrow \alpha\cdot\beta,a_1a_2\cdots a_k]$
搜索符串/展望串
$a_1a_2\cdots a_k$
有效的
项目 $[A\rightarrow \alpha\cdot\beta,a]$ 对于活前缀 $\gamma$ 有效
$S\xRightarrow{*}\delta A\omega\Rightarrow\delta\alpha\beta\omega$
1. $\gamma=\delta\alpha$
2. $a\in FIRST(\omega)$ 或 $a=\#,\omega=\varepsilon$
规范LR闭包 $C L OS U RE (I)$ 的构造（规范LR(k)（k>0）需要重新构造项目集，新的项目集中携带“展望”，该项目集也是随后LALR的基础）
1. $I$ 的任何项目都属于 $C L OS U RE (I)$
2. 若项目 $[A\rightarrow\alpha\cdot B\beta,a]$ 属于 $C L OS U RE (I)$ ， $B\rightarrow\xi$ 是一个产生式，那么，对于 $FIRST(\beta a)$ 中的每一个终结符 $b$ ，如果 $[B\rightarrow\cdot\xi,b]$ 原来不在 $C L OS U RE (I)$ 中，则把它加进去（通过以上方式“凭空”添加B）
3. 重复执行步骤(2)，直至 $C L OS U RE (I)$ 不再增大为止

5.3.4.1 LR(1)

项目集构造
$[S'\rightarrow \cdot S,\#]$ 为初始，与LR(0)、SLR项目集构造流程类似
$\star$ 展望串
由于读至形如 $[A\rightarrow\alpha\cdot B\beta,a]$ 而引入的 $[B\rightarrow\cdot\omega,b]$ 中的 $b\in FIRST(\beta)$ ，如果 $\beta=\xi$ ，则 $b = a$
其余基本不变
DFA构造
与LR(0)、SLR基本一致，与项目集同步构造
LR(1)表构造
1. 终结符移进项目 $I_{x}\xrightarrow{\alpha} I_{y}$
  ACTION表 $(\alpha,x)$ 置为 $s_{y}$
2. 非终结符移进项目 $I_{x}\xrightarrow{P}I_{y}$
  GOTO表 $(P, x)$ 置为 $y$
3. 规约项目 $I_{x}$ ，且对应归约规则 $(m)$ ，对应项目集为 $[P\rightarrow\alpha\cdot,a]$ （此处区别于SLR分析表，将归约条件进一步细化）
  ACTION表 $(a, x)$ 置为 $r_{m}$
4. 项目 $S'\rightarrow S\cdot$ 为项目 $I_{x}$
  ACTION表 $(\#,x)$ 置为acc
5. 其余均为报错