c语言编译原理消除回溯,编译原理消除回溯.ppt-程序员宅基地

技术标签: c语言编译原理消除回溯  

编译原理,主讲教师:于永彦,计算机科学与技术专业最重要的学科基础课程,淮阴工学院,电话: 15996198961 信箱: [email protected],2/20,FIRST集合,引入FIRST集概念是为了在当前输入的条件下,观察哪个产生式的右部能够导出输入符号,进而决定采用哪个产生式来进行推导。 显然,我们关心的是产生式右部符号串的FIRST集,即文法符号串的FIRST。这个符号串可以是任意的终结符和非终结符的组合。,3/20,FIRST集合,【定义】 假定是文法G的任一符号串,即(VN∪VT)*,则的首符号集定义为: 可见,所谓符号串的FIRST,就是指的所有可能推导的开头终结符或的集合。 由定义,不难得出下面的结论: 若 ,则 ; 若=aA,其中A代表非终结符,则 ; 若=Aa,则 ; 若 ,则 。,,4/20,FIRST集合,一、关系图法求解FIRST 【例】已知文法G[S]如下: S→AB|bC A→b|ε B→aD|ε C→AD|b D→aS|c 求所有非终结符的FIRST。 【解】关系图法求解FIRST集,分为三步进行。 (1)求出能推出ε的非终结符 首先建立一个以文法非终结符为元素的一维数组X,对应每个非终结符设置一个标志位,以记录能否推出ε。其值有三种情况:“未定”、“是”、“否”。 其次,按下述步骤逐步更新标志位:,5/20,FIRST集合,① 依次扫描文法每一条产生式 I.删除所有右部含终结符的产生式。若使得以某非终结符为左部的所有产生式都被删除,则置该非终结符的标记为“否”,例“D”。 II.若某非终结符存在一条右部为ε的产生式,则置该非终结符的标志为“是”,并删除该非终结符的所有产生式,如“A”、“B”。见表的第2行。 ② 扫描产生式右部的每一符号 I.若某非终结符标志为“是”,则删去该非终结符,若进而使得某产生式右部为空,则置该式左部的非终结符标志为“是”,并删除该非终结符为左部的所有产生式,如“S”。 II.若某非终结符标志为“否”,则删去该产生式,若使得左部为该非终结符的产生式都被删去,则置该非终结符标志为“否”,例如“C”。 ③ 重复上述步骤,直到扫描完一遍文法的产生式,非终结符标志位不再改变为止。,6/20,FIRST集合,结合本例,由①中(I)、(II)得知例中对应非终结符D的标志改为“否”,对应非终结符A、B的标志改为“是”。经过①中(I)、(II)两步后文法中的产生式只剩下:S→AB和C→AD,也就是只剩下右部全是非终结符串的产生式。再由②中的(I)步扫描到产生式S→AB时,在数组中A、B对应的标志都为“是”,删去后S的右部变为空,所以S对应标志置为“是”。最后由②中的(II)扫描到产生式C→AD时,其中A对应的标志为“是”,D对应的标志是“否”,删去该产生式后,再无左部为C的产生式,所以C的对应标志改为“否”。结果如下表。,7/20,FIRST集合,(2)绘制文法关系图 按下述步骤绘制文法关系图。 ① 每个文法符号对应图中一个结点,对应终结符的结点时用符号本身标记,对应非终结符A的结点用其FIRST(A)标记。 ② 若有产生式A→αXβ,且α ε,则从对应A的结点到对应X的结点连一条箭弧。,8/20,FIRST集合,(3)求解FIRST 按下述步骤从关系图求解FIRST。 ① 凡是从FIRST(A)结点有路径可到达的终结符点所标记的终结符为FIRST(A)的成员。 ② 若某非终结符能够 ε,则将ε加入该非终结符的FIRST集中。 至此,可以求得本例的结果: FIRST(S)={b,a,ε} FIRST(A)={b,ε} FIRST(B)={a,ε} FIRST(C)={a,b,c} FIRST(D)={a,c},,9/20,FIRST集合,二、根据通用算法构造FIRST (1)文法符号的FIRST 对于文法中的每一个符号X(VN∪VT),构造FIRST(X)时,只要连续使用下列步骤,直至FIRST集不再扩大为止。 步骤1.若XVT,则FIRST(X)={X}; 步骤2.若XVN,则考查以X为左部的每一条产生式: ① 若X→是一条产生式,则FIRST(X); ② 若X→Y1Y2…Yn是产生式: (I) 若Y1, …, Yi-1都VN且都能 (其中1≤i≤n),则FIRST(Y1)-{},FIRST(Y2)-{},…,FIRST(Yi-1)-{}和FIRST(Yi)都包含在FIRST(X)中; (II) 若所有的FIRST(Yi)均能 ,i=1, 2, …, k,则把加到FIRST(X)中。,10/20,FIRST集合,,11/20,FIRST集合,【例】已知文法G[S]如下: S→aAd A→BC B→b |ε C→c |ε 求各个非终结符的FIRST集。 【解】由上述算法,容易求各个FIRST集: FIRST(S)={a} FIRST(B)={b,ε} FIRST(C)={c,ε} FIRST(A)={b,c,ε},12/20,FIRST集合,(2)文法符号串的FIRST 对文法G的任一符号串,可按下图所示的步骤构造FIRST ()。,再看上例G[S],求产生式右部的符号串的FIRST集。 【解】由上图,容易求各个FIRST集: FIRST(aAd)={a} FIRST(BC)={b,c,ε} FIRST(b)={b} FIRST(c)={c},13/20,FIRST集合,注意:在使用通用算法法求解FIRST的时候,如果求解过程中存在递归循环现象,将使求解过程陷入无限循环中。 【例】若文法G[S]为: S→BCc | gDB B→ε| bCDE C→DSB | cS D→ε| dD E→gSf | c 容易看出: FIRST(S) =(FIRST(B)-{ε})∪FIRST(C)∪{g} =(FIRST(B)-{ε})∪(FIRST(D)-{ε})∪FIRST(S)∪{c}∪{g} 很明显,存在循环求解过程,求FIRST(S)时,需要先求FIRST(C),而若求解FIRST(C)又需要先求FIRST(S)。所以,此文法不适宜应用通用算法。,14/20,FIRST集合,【结论】 对于所有形如A→1|2|…|n的产生式,若存在 FIRST(i)∩FIRST(j)= (ij) 则能够根据不同输入符号唯一确定候选式i,即不存在回溯。此时,当要求使用A去匹配输入串时,能够根据输入符号a准确指派某一个候选式前去执行任务,这个候选式就是FIRST中含a的那个i。,15/20,实例分析,【例】已知文法G[S]定义如下: S→Ap|Bq A→a|cA B→b|dB 考查输入串w=ccap是否合法。 【解】所谓考查输入串ccap是否合法,就是看能否由文法开始符号导出符号串。 首先,可由上面介绍的方法求得文法的各个符号(串的)FIRST。 文法符号的FIRST: FIRST(S)={a,c,b,d} FIRST(A)={a,c} FIRST(B)={b,d} FIRST(p)={p} FIRST(q)={q} FIRST(a)={a} FIRST(c)={c} FIRST(b)={b} FIRST(d)={d},16/20,FIRST集合,文法符号串的FIRST: FIRST(Ap)={a,c} FIRST(Bq)={b,d} FIRST(a)={a} FIRST(cA)={c} FIRST(b)={b} FIRST(dB)={d} 显然,各个候选式的FIRST互不相交,符合要求: FIRST(Ap)∩FIRST(Bq) = {a,c}∩{b,d} = FIRST(a) ∩FIRST(cA) = {a}∩{c} = FIRST(b) ∩FIRST(dB) = {b}∩{d} = 因此,可以很容易得到符号串w=ccap的推导过程: S  Ap  cAp  ccAp  ccap,不存在回溯现象!,17/20,提取左公共因子,不过,有时候一个文法并不一定能满足“候选式的首符号集并非两两不相交。” 譬如下面的例子。 【例】已知文法G[A]定义如下: A→ad …………① A→Bc …………② B→aA …………③ B→bB …………④,18/20,提取左公共因子,【解】利用上述算法,不难求得各个符号串的FIRST: FIRST(ad)={a} FIRST(Bc)={a,b} FIRST(aA)={a} FIRST(bB)={b} 不难看出,存在候选式的FIRST相交的情况: FIRST(ad)∩FIRST(Bc) = {a}∩{a,b} ={a} 所以,本文法存在回溯现象,不适于应用确定的自顶向下分析法。那么,有没有什么办法能够对文法进行一定的预处理,从而达到所有候选式的FIRST集两两不相交呢?答案是肯定的,通过提取左公共因子即能实现此目的!,19/20,提取左公共因子,所谓左公共因子,是指形如A→B和A→C的产生式。 假定关于A的规则是: A→1| 2 |……| n 那么,可以把上述规则改写为下面的形式,以提取左公共因子: A→A′ A′→ 1| 2 |……|n 经过反复提取左公共因子,就能够把每个非终结符的所有候选式的FIRST变成两两不相交的。,20/20,提取左公共因子,例如,对于上例中的文法G[A],将③、④代入②,就可得 A→ad|aAc …………存在左公共因子a A→bBc B→aA|bB 因此,提取左公共因子后的文法G′[A]消除了回溯: A→aA′ A′→d| Ac A→bBc B→aA|bB,

展开阅读全文

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/weixin_39658966/article/details/117100557

智能推荐

settext 下划线_Android TextView 添加下划线的几种方式-程序员宅基地

文章浏览阅读748次。总结起来大概有5种做法:将要处理的文字写到一个资源文件,如string.xml(使用html用法格式化)当文字中出现URL、E-mail、电话号码等的时候,可以将TextView的android:autoLink属性设置为相应的的值,如果是所有的类型都出来就是**android:autoLink="all",当然也可以在java代码里 做,textView01.setAutoLinkMask(Li..._qaction::settext 无法添加下划线

TableStore时序数据存储 - 架构篇_tablestore 时间类型处理-程序员宅基地

文章浏览阅读6.3k次,点赞2次,收藏10次。摘要: 背景 随着近几年物联网的发展,时序数据迎来了一个不小的爆发。从DB-Engines上近两年的数据库类型增长趋势来看,时序数据库的增长是非常迅猛的。在去年我花了比较长的时间去了解了一些开源时序数据库,写了一个系列的文章(综述、HBase系、Cassandra系、InfluxDB、Prometheus),感兴趣的可以浏览。背景随着近几年物联网的发展,时序数据迎来了一个不小的爆发。从DB..._tablestore 时间类型处理

Ubuntu20.04下成功运行VINS-mono_uabntu20.04安装vins-mono-程序员宅基地

文章浏览阅读5.7k次,点赞8次,收藏49次。可以编译成功但是运行时段错误查找原因应该是ROS noetic版本中自带的OpenCV4和VINS-mono中需要使用的OpenCV3冲突的问题。为了便于查找问题,我只先编译feature_tracker包。解决思路历程:o想着把OpenCV4相关的库移除掉,但是发现编译feature_tracker的时候仍然会关联到Opencv4的库,查找原因是因为cv_bridge是依赖opencv4的,这样导致同时使用了opencv3和opencv4,因此运行出现段错误。oo进一步想着(1)把vins-mon_uabntu20.04安装vins-mono

TMS320C6748_EMIF时钟配置_tms 6748-程序员宅基地

文章浏览阅读3.6k次,点赞3次,收藏12次。创龙TL6748开发板中,EMIFA模块使用默认的PLL0_SYSCLK3时钟,使用AISgen for D800K008工具加载C6748配置文件C6748AISgen_456M_config(Configuration files,在TL_TMS6748/images文件夹下),由图可以看到DIV3等于4,注意这里的DIV3就是实际的分频值(x),而不是写入相应PLL寄存器的值(x-1)。_tms 6748

eigen稀疏矩阵拼接(基于块操作的二维拼接)的思考-程序员宅基地

文章浏览阅读5.9k次,点赞4次,收藏13次。转载请说明出处:eigen稀疏矩阵拼接(块操作)eigen稀疏矩阵拼接(块操作)关于稀疏矩阵的块操作:参考官方链接 However, for performance reasons, writing to a sub-sparse-matrix is much more limited, and currently only contiguous sets of columns..._稀疏矩阵拼接

基于Capon和信号子空间的变形算法实现波束形成附matlab代码-程序员宅基地

文章浏览阅读946次,点赞19次,收藏19次。波束形成是天线阵列信号处理中的一项关键技术,它通过对来自不同方向的信号进行加权求和,来增强特定方向的信号并抑制其他方向的干扰。本文介绍了两种基于 Capon 和信号子空间的变形算法,即最小方差无失真响应 (MVDR) 算法和最小范数算法,用于实现波束形成。这些算法通过优化波束形成权重向量,来最小化波束形成输出的方差或范数,从而提高波束形成性能。引言波束形成在雷达、声纳、通信和医学成像等众多应用中至关重要。它可以增强目标信号,抑制干扰和噪声,提高系统性能。

随便推点

Ubuntu好用的软件推荐_ubuntu开发推荐软件-程序员宅基地

文章浏览阅读3.4w次。转自:http://www.linuxidc.com/Linux/2017-07/145335.htm使用Ubuntu开发已经有些时间了。写下这篇文章,希望记录下这一年的小小总结。使用Linux开发有很多坑,同时也有很多有趣的东西,可以编写一些自动化脚本,添加定时器,例如下班定时关机等自动化脚本,同时对于服务器不太了解的朋友,建议也可以拿台Linux来实践下,同时Ubuntu在Androi_ubuntu开发推荐软件

Nginx反向代理获取客户端真实IP_nginx获取到的是交换机的ip-程序员宅基地

文章浏览阅读2.2k次。一,问题 nginx反向代理后,在应用中取得的ip都是反向代理服务器的ip,取得的域名也是反向代理配置的url的域名,解决该问题,需要在nginx反向代理配置中添加一些配置信息,目的将客户端的真实ip和域名传递到应用程序中。二,解决 Nginx服务器增加转发配置 proxy_set_header Host $host;_nginx获取到的是交换机的ip

Wireshark TCP数据包跟踪 还原图片 WinHex应用_wireshark抓包还原图片-程序员宅基地

文章浏览阅读1.4k次。Wireshark TCP数据包跟踪 还原图片 WinHex简单应用 _wireshark抓包还原图片

Win8蓝屏(WHEA_UNCORRECTABLE_ERROR)-程序员宅基地

文章浏览阅读1.5k次。Win8下安装VS2012时,蓝屏,报错WHEA_UNCORRECTABLE_ERROR(P.S.新的BSOD挺有创意":("),Google之,发现[via]需要BIOS中禁用Intel C-State,有严重Bug的嫌疑哦原因有空再看看..._win8.1 whea_uncorrectable_error蓝屏代码

案例课1——科大讯飞_科大讯飞培训案例-程序员宅基地

文章浏览阅读919次,点赞21次,收藏22次。科大讯飞是一家专业从事智能语音及语音技术研究、软件及芯片产品开发、语音信息服务的软件企业,语音技术实现了人机语音交互,使人与机器之间沟通变得像人与人沟通一样简单。语音技术主要包括语音合成和语音识别两项关键技术。此外,语音技术还包括语音编码、音色转换、口语评测、语音消噪和增强等技术,有着广阔的应用。_科大讯飞培训案例

perl下载与安装教程【工具使用】-程序员宅基地

文章浏览阅读4.7k次。Perl是一个高阶程式语言,由 Larry Wall和其他许多人所写,融合了许多语言的特性。它主要是由无所不在的 C语言,其次由 sed、awk,UNIX shell 和至少十数种其他的工具和语言所演化而来。Perl对 process、档案,和文字有很强的处理、变换能力,ActivePerl是一个perl脚本解释器。其包含了包括有 Perl for Win32、Perl for ISAPI、PerlScript、Perl。_perl下载

推荐文章

热门文章

相关标签