编译原理(五)自底向上分析之算符优先分析法

自底向上分析之算符优先分析法

说明:以老师PPT为标准,借鉴部分教材内容,AlvinZH学习笔记。

基本过程

1. 一般方法:采用自左向右地扫描和分析输入串,从输入符号串开始,通过反复查找当前句型的句柄(最左简单短语),并利用有关规则进行规约。

分析过程如下,关键步骤是第一点!

  • 找出当前句型的句柄 x (或句柄的变形);
  • 找出以 x 为右部的规则 X::= x ;
  • 把 x 规约为X,产生语法树的一枝。

2. 自底向上分析也叫作移进-规约分析,简单的例子中,识别句柄的过程,主要看栈顶符号串是否形成规则的右部。这种做法形式上正确,但实际上不一定正确。原因:不能认为对于句型xuy,若有U::=u,就断定u是简单短语或者u是句柄,也就是说这是一个必要不充分条件。

算符优先分析(OPP)

1. OPP:简单直观,广为使用的自底向上分析方法,易手工实现。可用于一大类上下文无关文法。

分析器的结构:符号栈、优先关系矩阵、分析程序。

2. 特点:预先规定相邻终结符之间的优先关系,利用优先关系确定句型的“句柄”并进行规约。

注意:

  • 这里的“句柄”有可能不是真正的句柄,这种规约也未必是严格的最左规约。(后续解释)
  • 对于二义性文法,如 \(E ::= E+E | E-E | E*E | E/E | (E) | i\),可以通过定义优先关系和左结合原则,OPP可分析之。

3. 终结符之间优先关系定义

  • a = b:a的优先级等于b
  • a < b:a的优先级小于b
  • a > b:a的优先级大于b

注意: 这个关系是单方面的,也就是说这里的 “a<b” 并不意味着 “b>a”,同样的,“a=b” 也不意味着 “b=a”。

4. 优先关系举矩阵:左终结符(栈内)、右终结符(栈外),值为优先关系,空表示两个终结符不能相邻。

使用方法:当栈顶项(或次栈顶项) 终结符的优先级大于栈外的终结符的优先级则进行规约,否则移进。

出错情况:

  • 相邻终结符之间无优先关系。
  • 对双目运算符进行规约时,符号栈中无足够项。
  • 非正常结束状态。

5. 优先函数:文法终结符之间的优先关系可以不用矩阵表示,而是采用两个邮箱函数来表示:f(x)表示栈内优先函数,g(x)表示栈外优先函数。把优先关系的比较转换成数值的比较。

特点:优先函数值不唯一,只要相互之间数值大小表示优先关系就行。

优点:节省内存空间,易于比较(数值比较)

缺点:可能掩盖错误,由于优先关系变为数值,原先可能不存在的优先关系现在也可比较了。可以通过特判避免这个问题。

OG与OPG定义

1. 算符文法(OG):若文法G中没有形如 \(U ::= ···VW···\) 的规则(V,W∈Vn),则称G为算符文法。

直观理解:算符文法不允许两个非终结符相邻!

2. 优先关系定义:设嗡文法G是一个OG文法,a,b∈Vt,U,V,W∈Vn。

  • a = b: iff 文法中有形如 \(U∷=…ab…\)\(U∷=…aVb…\) 的规则。

  • a < b: iff 文法中有形如 \(U∷=…aW…\) 的规则,其中 \(W =+> b…\)\(W =+> Vb…\)

  • a > b: iff 文法中有形如 \(U∷=…Wb…\) 的规则,其中 \(W =+> …a\)\(W =+>…aV\)

TIP:只是定义,第二第三条实际用起来真的难用,还是继续看下去,用FIRSTVTLASTVT高级操作吧!

3. 算符优先文法(OPG):设有一OG文法,如果在任意两个终结符之间,至多只有上述关系中的一种,则称该文法为算符优先文法(OPG)。

构造优先关系矩阵

1. 通过检查每一条规则,'=' 优先关系很容易求得,但是 '>' 和 '<' 就复杂了,需要引入两个集合辅助:FIRSTVT、LASTVT。

FIRSTVT( U ) = { b | U =+> b…或U =+> Vb…, b∈Vt , V∈Vn}

LASTVT( U ) = { a | U =+> …a 或U =+> …aV, a∈Vt , V∈Vn}

若文法有规则形如 \(W∷= ...a U...\),对任何 b∈FIRSTVT( U ),则有: a < b。

若文法有规则形如 \(W∷= ...U b...\),对任何 a∈LASTVT( U ),则有: a > b。

2.构造FIRSTVT集合

  • 若有规则 U∷= b… 或 U∷= V b…,则 b∈FIRSTVT(U);
  • 若有规则 U∷= V… 且 b∈FIRSTVT(V), 则 b∈FIRSTVT(U)。

3.构造LASTVT集合

  • 若有规则 U::=…a 或 U::=…aV,则 a∈LASTVT(U);
  • 若有规则 U::=…V,且 a∈LASTVT(V) ,则 a∈LASTVT(U)。

4.构造算符优先矩阵

FOR 每条规则U::= x1 x2…xn DOFOR i:=1 TO n-1 DOBEGINIF xi和xi+1均为终结符, THEN 置 xi=xi+1IF i≤n-2,且xi和xi+2都为终结符号但xi+1为非终结符号 THEN 置 xi=xi+2IF xi为终结符号xi+1为非终结符号 THENFOR FIRSTVT(xi+1)中的每个b DO 置xi<bIF xi为非终结符号xi+1为终结符号 THENFOR LASTVT(xi)中的每个a DO 置a>xi+1END

5. 举个例子

1152056-20180118134805381-1435501176.png

分析句子 \(i*(i+i)\)

1152056-20180118143717521-483738205.png

分析算符优先分析法

1. 提出问题:这种分析算法并不是严格的最左规约,也就是说,每次规约的未必是当前句型的句柄。那它规约的是什么?

答案:最左素短语

先给出分析过程的特点(不予证明):

  • 每次规约的最左子串,确实是当前句型的最左素短语;
  • 规约的不都是真正的句柄(有时候是只是偶然);
  • 没有完全按规则进行规约,因为素短语不一定是简单短语(有时候是只是偶然)

2. 素短语:句型的素短语是一个短语,它至少包含有一个终结符号,并且除它自身以外不再包含其它素短语。

例如:对于句型T+TF+i,通过语法树可以轻易找到所有短语:① T + T F + i;② T + T * F;③ T;④ T * F;⑤ i。①包含其它短语②包含其它短语③不包含终结符④是素短语⑤是素短语。最后最左素短语就是④T*F。然而该句型的句柄确实③T。

3. 形式化寻找最左素短语:设有OPG文法句型:#N1 a1 N2 a2…Nn an Nn+1 #,其中Ni为非终结符(可以为空),ai为终结符。

定理:一个OPG句型的最左素短语是满足下列条件的最左子串:Nj aj … Ni ai Ni+1,其中aj-1 < aj ,aj = a . . . . j+1 , aj+1 = aj+2 , … , ai-2 = ai-1 , ai-1 = ai, ai.> ai+1。

4. 实现算符优先分析法:找句型的最左子串(最左素短语)并进行规约。

具体实现:当栈内终结符的优先级<或=栈外终结符的优先级时,移进;当栈内终结符的优先级>栈外终结符的优先级时,表明找到了素短语的尾,再往前找其头,并进行规约。

引用说明

- 邵老师课堂PDF
- 《编译原理级编译程序构造》

转载于:https://www.cnblogs.com/AlvinZH/p/8309259.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/466875.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

做Android开发,要清楚init.rc里面的东西

init.rc 复习看这个之前&#xff0c;先看看大神总结的文章这篇文章总结的非常到位&#xff0c;但是因为代码不是最新的Android版本&#xff0c;对我们最新的Android版本不适用。http://gityuan.com/2016/02/05/android-init/#init rc文件拷贝拷贝其实也就是把文件放到机器的某个…

abap常用系统变量

常用的系统变量如下: 1.sy-pagno当前页号 2.SY-DATUM当前时间 3.SY-LINSZ当前报表宽度 4.SY-LINCT当前报表长度 5.SPACE空字符 6.SY-SUBRC执行状态为0,表示成功. 7.SY-UNAME 用户名 8.SY-UZEIT当前时间 9.SY-TCODE当前的事务代码 10.SY-LSIND列表索引页 11.SY-LISTI上一个列表的…

随机森林

随机森林的思想&#xff1a;随机取样&#xff0c;创建M棵决策树&#xff0c;并对决策树的结果进行投票&#xff0c;选出最多的类别作为最后的分类结果。这里在创建决策树的时候引入了基尼指数的概念&#xff0c;基尼指数和信息增益的作用一样&#xff0c;都是选出数据集的最佳分…

Linux静态库和动态库的设计

静态库和动态库的设计 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 Linux应用程序设计中需要的外部函数主要由函数库和系统调用来提供 Linux应用程序使用的主要函数库均存放于/lib, /usr/lib目录下&#xff0c;其中采用*.so.*方式命名的是动态函数库…

操作excel

static void create(String path) throws Exception {//读取文件FileInputStream in new FileInputStream(path);XSSFWorkbook wb new XSSFWorkbook(in);// 获得该工作区的第一个sheetXSSFSheet sheet wb.getSheetAt(0);int rowNum sheet.getLastRowNum();//行int columnNu…

无法安装软件之解决其一 (windows installer服务篇)

早上接到兄弟求助&#xff0c;无法安装软件&#xff0c;于是把最直接方法告诉他&#xff0c;还原啊。但ghost 进程到一半就当了&#xff0c;真是对不起他。。挂了电话后查了一下&#xff0c;现将方法总结如下&#xff1a;两种环境1 windows 2000系统 中&#xff1a;第一步&…

决策树——CART和模型树

CART树 理解&#xff1a; 如果CART树处理离散型数据&#xff0c;叫做分类决策树&#xff0c;那么&#xff0c;引入基尼指数作为寻找最好的数据划分的依据&#xff0c;基尼指数越小&#xff0c;说明数据的“纯度越高”&#xff0c;随机森林的代码里边就运用到了基尼指数。如…

宏比较值,坑的一B

昨晚上&#xff0c;我准备睡觉&#xff0c;连总给我发了一段代码#include "stdio.h"#define MAX_MACRO(a, b) ((a) > (b) ? (a) : (b)) int MAX_FUNC(int a, int b) {return ((a) > (b) ? (a) : (b)); }int main() {unsigned int a 1;int b -1;printf(&quo…

Linux下Samba服务器搭建

linux文件共享之samba服务器 ——ubuntu 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 关闭LINUX防火墙命令&#xff1a; #ufwdisable 然后就在windows下ping一下linux的IP&#xff0c;如果能ping通&#xff0c;就可以继续下面的内容&#xff0c;如果p…

日志分析linux命令

1、查看文件内容&#xff1a;cat 。-n显示行号。 2. more&#xff1a;全屏幕分页显示文件的内容。下一页&#xff1a;space键&#xff1b;上一页&#xff1a;B&#xff1b;停止&#xff1a;Q&#xff1b;显示下一行&#xff1a;Enter&#xff1b; 3. less&#xff1a;在文件最…

C#比较两时间大小

1。比较时间大小的实验 string st1"12:13"; string st2"14:14"; DateTime dt1Convert.ToDateTime(st1); DateTime dt2Convert.ToDateTime(st2); DateTime dt3DateTime.Now; if(DateTime.Compare(dt1,dt2)>0) msg.Textst1">…

搞懂C++为什么难学,看这篇就够了!

学C能干什么&#xff1f; 往细了说&#xff0c;后端、客户端、游戏引擎开发以及人工智能领域都需要它。往大了说&#xff0c;构成一个工程师核心能力的东西&#xff0c;都在C里。跟面向对象型的语言相比&#xff0c;C是一门非常考验技术想象力的编程语言&#xff0c;因此学习起…

2017 实习面试问题总结(阿里、头条、美团、cvte、乐视、华为)

2017 实习面试问题总结&#xff08;阿里、头条、美团、cvte、乐视、华为&#xff09; Java后台面试 常见问题转载于:https://www.cnblogs.com/straybirds/p/8319566.html

SAP BC417 课程中文自学笔记

BC417: BAPI Development for Accessing SAP Components开发自定义 BAPI 的方法http://files.cnblogs.com/qiangsheng/SAP_BC417.rarhttp://files.cnblogs.com/qiangsheng/SAP_BC417_appendix.rar

看图学源码之FutureTask

RunnableFuture 源码学习&#xff1a; 成员变量 任务的运行状态的转化 package java.util.concurrent; import java.util.concurrent.locks.LockSupport;/**可取消的异步计算。该类提供了Future的基本实现&#xff0c;包括启动和取消计算的方法&#xff0c;查询计算是否完成以…

单片机的引脚,你都清楚吗?

第1课&#xff1a;单片机简叙1.单片机可以做什么&#xff1f;目前单片机渗透到我们生活的各个领域&#xff0c;几乎很难找到哪个领域没有单片机的踪迹。小到电话&#xff0c;玩具&#xff0c;手机&#xff0c;各类刷卡机&#xff0c;电脑键盘&#xff0c;彩电&#xff0c;冰箱&…

Graphviz的安装及纠错

在Anaconda Prompt里边输入conda install graphviz 安装成功之后输入pip install graphviz 它会提示成功安装。 启动 Jupyter Notebook &#xff0c;在文件里边输入 import graphviz 测试&#xff0c;如果没有报错证明&#xff0c;模块安装成功&#xff0c;但是在运行程序…

基于ubuntu13.04搜狗输入法安装方法

基于ubuntu13.04搜狗输入法安装方法 宗旨&#xff1a;技术的学习是有限的&#xff0c;分享的精神是无限的。 sudo gedit etcaptsources.list 在打开的文件中加入以下两行&#xff1a; deb http ppa.launchpad.netfcitx-teamnightlyubuntu quantal main deb-src http ppa.lau…

给磁盘加个背景

给你的磁盘加上漂亮的背景先看下效果&#xff1a;具体方法&#xff1a;很简单的方法&#xff0c;新建一个文本文档输入以下内容&#xff1a;[ExtShellFolderViews]{BE098140-A513-11D0-A3A4-00C04FD706EC}{BE098140-A513-11D0-A3A4-00C04FD706EC}[{BE098140-A513-11D0-A3A4-00C…

/etc/fstab 参数详解及如何设置开机自动挂载

某些时候当Linux系统下划分了新的分区后&#xff0c;需要将这些分区设置为开机自动挂载&#xff0c;否则&#xff0c;Linux是无法使用新建的分区的。 /etc/fstab 文件负责配置Linux开机时自动挂载的分区。 Windows的文件结构是多个并列的树状结构&#xff0c;最顶部的是不同的磁…