编译原理中的first集,follow集和selec集的小解
在看编译原理,对这些集合求法不是很明白,看了某个大神的博客,感觉懂了不少,现把自己的理解贴出来大家共享。
所有大写字母代表非终结符,小写字母代表终结符,省略号代表未知数目(可能为0)的不确定类型的文法符号。
First集合:
First集合顾名思义就是求一个文法符号串所可能推导出的符号串的第一个终结符的集合。
First(X)就是求X所有推导出的符号串的第一个符号的集合。
求First集合可分如下几种情况:
1、单个符号的First集合:单个终结符的First集合就是它自己。
2、单个非终结符的First集合:
A-->a… 产生式右部以终结符开头,根据定义,这种情况下显然可以看出a属于First(A)。
A-->B… 产生式右部以非终结符开头,根据定义,既然可以把A替换成B……,也可以看出First(B)属于First(A)。这是一个递归的推导。
3、多个符号形成的符号串的First结合:
符号串ABC…,并且A不能推导出空串ε,即First(A)中不包含ε,显然根据定义First(ABC…)=First(A)
符号串ABC…,并且A可能推导出空串ε,即First(A)中包含ε,
当A不是空串的时候,显然First(A)属于First(ABC…);
但当A是空串的时候,ABC…就成了BC…,此时根据B是否能推出空串来决定是否将First(B)加入First (ABC…)。
这是一个递归的推导。综上所述,符号串中的第一个不能推出空串的符号(设为W)前面所有符号的First集合减去空串ε都属于First(ABC…),
即First(W之前的所有符号)-{ε}属于First(ABC…),第一个不能推出空串的符号的First集合也属于First(ABC…),即First(W)-{ε}也属于First(ABC…)。
也就是假设A、B都可以推出空串,C不能推出空串,
First(ABC…)=(First(A)-{ε})∪(First(B)-{ε})∪First(C)。
注意:First集合中的符号一定是终结符,终结符也包括空串ε。
Follow集合:
Follow集合也是顾名思义的,就是文法符号后面可能跟随的终结符的集合(不包括空 串ε)。
Follow(X)就是求X后面可能跟随的符号集合。
终结符的Follow集合没有定义,只有非终结符才会有Follow集合。
求Follow集合可分如下几种情况:
1.A–>…Ua… 要求的Follow集合的非终结符后跟终结符
根据定义,显然a属于Follow(U)。这种情况下,Follow(U)和A没有任何关系,产生式左边是什么无所谓。
2.A–>…UP… 要求的Follow集合的非终结符后跟非终结符
根据定义,显然P的第一个符号属于Follow(U),也就是First(P)属于Follow(U)。
3.A–>…UP并且ε属于First(P) 要求的Follow集合的非终结符后跟非结尾的终结符, 并且结尾非终结符的First集合包含空串。
这是上一种情况的一种特例,除了要按上一种情况处理,First(P)属于Follow(U) 以外还要进行分析;
因为当P推导为空串时,空串不能出现在Follow集合中,所以U 后面跟随的应该是P后面的东西,可P已经是结束的符号,此时U后面显然就是A后 面跟随的东西了。
所以在这种情况下Follow(A)也属于Follow(U)。所以
Follow(U)=(First(P)-{ε})∪Follow(A)。
4.A–>…U 要求的Follow集合的非终结符在产生式结尾
这时候又要递归推导,U是A的结尾,所以U后面跟随的东西也就是A后面跟随的东 西。所以Follow(A)属于Follow(U)。
注意:Follow集合中的符号一定是终结符,并且不能包括空串ε,而且定义开始符号 的Follow集合初始为{#}。P.S:#表示句子括号
Select集合:
Select集合就是产生式左部的可能的推导结果的起始符号。
Select(A–>B)就是求这个产生式中A可能推导出起始符号集合(不包含空串ε)。
求Select集合可分如下几种情况:
1.A–>X (X为任意文法符号串,不限于非终结符或单个符号),并且X不能推导出空串 ε,即First(X)中不包含ε:
根据定义,显然A推出的符号串起始就是X的起始,也就是First(X)。
Select(A–>X)=First(X)。
2.A–>X (X为任意文法符号串,不限于非终结符或单个符号),并且X能推导出空串ε,即First(X)中包含ε:
根据定义,显然First(X)-{ε}属于Select(A–>X),此外,当X推导为空串时,显然A 也推导为空串,那么此时
推导出的符号串就会是A后面的符号的推导结果。也就是 Follow(A),所以,此时Follow(A)也属于Select(A–>X)。
Select(A–>X)=(First(X)-{ε})∪Follow(A)。
注意:Select集合中不包括空串ε,但有可能会包含#(句子括号)。
编译原理中的first集,follow集和selec集的小解相关推荐
- 怎么求编译原理中的first集,follow集和selec集
所有大写字母代表非终结符,小写字母代表终结符,省略号代表未知数目(可能为0)的不确定类型的文法符号. First集合: First集合顾名思义就是求一个文法符号串所可能推导出的符号串的第一个终结符的集 ...
- FIRST集、FOLLOW集和SELECT集
*一:什么是终结符和非终结符.* 终结符:通俗的说就是不能单独出现在推导式左边的符号,也就是说终结符不能再进行推导. 非终结符:不是终结符的都是非终结符. 如:S-->B,则S是非终结符. (一 ...
- 离散数学——FIRST集,FOLLOW集和SELECT集的通俗求法
离散数学--FIRST集,FOLLOW集和SELECT集的通俗求法 FIRST集合 添加终结符以及空字 若X∈ε,则ε∈FIRST(X) 若X=a-,若a∈VT,则a∈FIRST(X); 添加非终结符 ...
- 【小白学PyTorch】 2.浅谈训练集验证集和测试集
文章目录: 经验误差与过拟合 评估方法 经验误差与过拟合 关键词:错误率(error rate),精度(accuracy). 错误率好理解,就是m个样本中,a个样本分类错误,则错误率E = a/m . ...
- 编译原理中LL(1)文法求FIRST集和FOLLOW集的方法
一.求FIRST集 1.右部首个字符是终结符则加入左部字符的FIRST集中,比如对形如U->a-的产生式(其中a是终结符),把a收入到FIRST(U)中. 2.右部首个字符是非终结符, 若此非终 ...
- 编译原理求FIRST集、FOLLOW集和SELECT集
所有大写字母代表非终结符,小写字母代表终结符,省略号代表未知数目(可能为0)的不确定类型的文法符号. First集合: First集合顾名思义就是求一个文法符号串所可能推导出的符号串的第一个终结符的集 ...
- 编译原理中LR(0)项目集规范族的构造
本文转载自: http://www.cnblogs.com/lazycoding/archive/2012/05/12/2497065.html 此文略长.我也没想到这写起来这么多,但对构造过程绝对 ...
- 怎样求FIRST集、FOLLOW集和SELECT集
一.终结符和非终结符 终结符:通俗的说就是不能单独出现在推导式左边的符号,也就是说终结符不能再进行推导. 非终结符:不是终结符的都是非终结符.(非男即女,呵呵) 如:A-->B,则A是非终结符. ...
- 编译原理中LL(1)分析程序的设计---用c++程序语言实现
一.前言 作为当代大学生的我,我喜极而泣,最后一个编译原理实验报告了,这次是一个提高性实验报告.肝完这个,编译原理,这门课,再也没有实验报告了,我再也不要担心我没有头发了.行了,废话不多说,我直接呈现 ...
最新文章
- 如何避免眼高手低?(转载)----希望初入职场的朋友共勉吧!
- bzoj 1061: [Noi2008]志愿者招募【最小费用最大流】
- 48天打造你的专属 Twilio——浅谈运营商通信中台
- 基于matlab的霍夫变换,基于matlab的霍夫变换
- 初识机器学习——吴恩达《Machine Learning》学习笔记(八)
- python箴言_Python高效率编程的8条箴言
- 什么是RAID(独立磁盘冗余阵列)?
- CSS 属性篇(六):background-size属性
- springboot+shiro+jwt
- SIR传染病模型及matlab代码
- ES2022 有什么新功能?一起来瞧瞧
- adm怎么下bt连接_迅雷不能下载版权敏感资源,试试这两款优秀的BT下载神器
- CodeIgniter入门
- 《IT项目经理成长手记》读后有所思
- 【生信】第一二三代测序技术原理的理解
- Qt中UI线程与子线程的交互
- xxl-job-admin实践
- 打印图形 鸟瞰金字塔
- 选择公有云桌面还是私有云桌面?有没有免费的云桌面?
- 页面禁止用户输入中文实现方式