LL(1)
含义:
第一个L代表从左到右扫描输入序列,第二个L表示产生最左推导,1表示在确定分析器的每一步动作时向前看一个终结符。
判断:
第一步找到能够推出是空的非终结符
像在这个文法中,画勾的就是可以推出是空的非终结符
第二步
求first集合,意思就是求一个文法字符串的后面能够推导出的第一个终结符(小写字母或者空)
第三步
求follow集合,就是求文法字符串后面可能跟随的终结符的集合(不含空),比如follow(X)意思就是求X后面能够跟随的符号(小写字母)
在上面那张图片中,写的很清楚,就是那里标的1,2,3,步骤就是把每一个推导式都拿出来,看它能够得到什么关系,一眼很难看出来,最好把每一个能得到的信息都写出来,这样不容易漏,因为漏了一个可能就全部错误(别问我为什么,因为我经历过😭😭😭)
比如拿出第一个式子来分析:E--->TE'
(1)、Follow(E)加入到Follow(E')。
(2)、First(E)加入到Follow(T)中。
(3)、由于E'可以为空,Follow(E)加入到Follow(T)中
然后后面的几个式子也是这样的过程。
最后求Select集合:
Select是针对每一个推导式来的。
相信通过这个例子你可以很好的理解Select集合的求法:比如产生式X--->&如果可以推出为空,那么Select集合就是First(&)-{空} U Follow(X);如果不能推出为空,就是First(&)-{空}。
LR(0)
SLR(1)
下次再补上