LL(1)文法判别之First集合、Follow集合、Select集合求法
2013-07-07 00:05
288 查看
LL(1)文法判别之First集合、Follow集合、Select集合求法
说明:所有大写字母代表非终结符,小写字母代表终结符,省略号代表未知数目(可能为0)的不确定类型的文法符号。
First集合:
First集合顾名思义就是求一个文法符号串所可能推导出的符号串的第一个终结符的集合。
First(X)就是求X所有推导出的符号串的第一个符号的集合。
求First集合可分如下几种情况:
单个符号的First集合:
单个终结符的First集合就是它自己。
单个非终结符的First集合:
A-->a… 产生式右部以终结符开头
根据定义,这种情况下显然可以看出a属于First(A)。
A-->B… 产生式右部以非终结符开头
根据定义,既然可以把A替换成B……,也可以看出First(B)属于First(A)。
这是一个递归的推导。
多个符号形成的符号串的First结合:
符号串ABC…,并且A不能推导出空串ε
当A不能推导出空串ε,显然根据定义First(ABC…)=First(A)
符号串ABC…,并且A可能推导出空串ε
当A不是空串的时候,显然First(A)属于First(ABC…),但当A是空串的时候,
ABC…就成了BC…,此时根据B是否能推出空串来决定是否将First(B)加入First
(ABC…)。这是一个递归的推导,综上所述,符号串中的第一个不能推出空串的符 号前面所有符号的First集合减去空串ε都属于First(ABC…),第一个不能推出空串的
符号的First集合也属于First(ABC…)。也就是假设A、B都可以推出空串,C不能推
出空串,First(ABC…)=First(A)-ε∪First(B)-ε∪First(C)。
符号串ABC…,并且所有的符号ABC…都可能推导出空串ε
此时First(ABC…)就是所有符号的First集合的并集
注意:First集合中的符号一定是终结符,终结符也包括空串ε。
Follow集合:
Follow集合也是顾名思义的,就是文法符号后面可能跟随的终结符的集合(不包括空 串ε)。
Follow(X)就是求X后面可能跟随的符号集合。
求Follow集合可分如下几种情况:
终结符的Follow集合没有定义,只有非终结符才会有Follow集合。
A-->…Ua… 要求的Follow集合的非终结符后跟终结符
根据定义,显然a属于Follow(U)。这种情况下,Follow(U)和A没有任何关系,产
生式左边是什么无所谓。
A-->…UP… 要求的Follow集合的非终结符后跟非终结符
根据定义,显然P的第一个符号属于Follow(U),也就是First(P)属于Follow(U)。
A-->…UP并且ε属于First(P) 要求的Follow集合的非终结符后跟非结尾的终结符,
并且结尾非终结符的First集合包含空串。
这是上一种情况的一种特例,除了要按上一种情况处理,First(P)属于Follow(U)
以外还要进行分析;因为当P推导为空串时,空串不能出现在Follow集合中,所以U
后面跟随的应该是P后面的东西,可P已经是结束的符号,此时U后面显然就是A后
面跟随的东西了。所以在这种情况下Follow(A)也属于Follow(U)。
A-->…U 要求的Follow集合的非终结符在产生式结尾
这时候又要递归推导,U是A的结尾,所以U后面跟随的东西也就是A后面跟随的东
西。所以Follow(A)属于Follow(U)。
注意:Follow集合中的符号一定是终结符,并且不能包括空串ε,而且定义开始符号 的Follow集合初始为{#(句子括号)}。
Select集合:
Select集合就是产生式左部的可能的推导结果的起始符号。
Select(A-->B)就是求这个产生式中A可能推导出起始符号集合(不包含空串ε)。
求Select集合可分如下几种情况:
A-->X (X为任意文法符号串,不限于非终结符或单个符号),并且X不能推导出空串
ε
根据定义,显然A推出的符号串起始就是X的起始,也就是First(X).
Select(A-->X)= First(X)
A-->X (X为任意文法符号串,不限于非终结符或单个符号),并且X能推导出空串ε
根据定义,显然First(X)属于Select(A-->X),此外,当X推导为空串时,显然A
也推导为空串,那么此时推导出的符号串就会是A后面的符号的推导结果。也就是
Follow(A),所以,此时Follow(A)也属于Select(A-->X)。
注意:Select集合中不包括空串ε,但有可能会包含#(句子括号)。
相关文章推荐
- [转]LL(1)文法判别之First集合、Follow集合、Select集合求法
- first、follow、select集合求法及LL1文法判别
- LL(1)文法的判别[00原创]
- LL(1)文法first集
- 编译原理:first集合和follow集合的求法及LL(1)文法判定
- 编译原理FIRST集、FOLLOW集、SELECT集求法通俗解释 & LL(1)文法判定
- Jquery操作select选项集合!
- .基于事件套接字集合的select模型
- Jquery Select操作方法集合脚本之家特别版
- jQuery-对Select的操作集合[终结篇]
- LL(1)文法实现(C系语言版)实现
- struts2 select标签对Action中传递过来的List集合生成下拉列表
- Head First C# 中文版 图文皆译 第八章 枚举和集合 page312
- CSS+HTML实例集合四,checkbox多选框的操作(全选等),select获取option的value和其对应的选项,select获取选中项的value值进行设置,select的二级联动菜单
- Head First C# 中文版 图文皆译 第八章 枚举和集合 page330
- Head First C# 中文版 图文皆译 第八章 枚举和集合 page346
- Head First C# 中文版 图文皆译 第八章 枚举和集合 page353
- Head First C# 中文版 图文皆译 第八章 枚举和集合 page358
- 集合方法+exists()+count()+limit()+extend()+trim()+first()+last()+prior()+next()+delete()
- Select first row in each GROUP BY group?