首先呢First和Follow是一对,而Firstvt和Lastvt是一对。
First和Follow是为了画预测分析表的(在LL(1)分析法处)。
而Firstvt和Lastvt是为了画算符优先关系表。
First
这里面包含了组成First(A)的两种情况:
以终结符开头, 当然要把这个终结符放到A的First里
以非终结符开头, 先把C的First放到A的First里
再看如果C的First中有空的话就把D的First放到A的First里,如果D也有空的话往后依次类推
技巧:First一般从下往上找。
例子:
Follow
(1)将#放到follow(S)中
(2)如果存在一个产生式A→αBβ,那么first(β)中除ε之外的所有符号都在follow(B)中。
(3)如果存在一个产生式A→αB,或存在产生式A→αBβ且first(β)包含ε,那么follow(A)中的所有符号都在follow(B)中。
针对上例:
构造预测分析表
S是FIRST里面的三个对应
T是FIRST里面的三个对应
对于T‘而言分为T'->,ST'与 T’->ε
T'->,ST'看FIRST集, T’->ε看FOLLOE集
我感觉FIRSTVT有一种继承的思想
Firstvt
找Firstvt的三条规则:如果要找A的Firstvt,A的候选式中出现:
A->a.......,即以终结符开头,该终结符入Firstvt
A->B.......,即以非终结符开头,则该非终结符的Firstvt入A的Firstvt
A->Ba.....,即先以非终结符开头,紧跟终结符,则终结符入Firstvt
例子:
Lastvt
找Lastvt的三条规则:如果要找A的Lastvt,A的候选式中出现:
A->.......a,即以终结符结尾,该终结符入Lastvt
A->.......B,即以非终结符结尾,该非终结符的Lastvt入A的Lastvt
A->.....aB,即先以非终结符结尾,前面是终结符,则终结符入Lastvt
算符优先分析表
在文法中添加S→#S#。
- 找出所有的终结符画出表结构
- 从文法中找出形为aQb(终结符+非终结符+终结符)和ab(终结符+终结符)的部分,然后在相应的表格填=。
- 从文法中找出形为aQ(终结符+非终结符)的部分,a与Q的FIRSTVT集合中每一个元素在表格中的交叉点填小于号。(a为行) ,此题中可以找到的有(T 和 ,S 和前面加的 # S 总共三个。
- 从文法中找出形为Qa(非终结符+终结符)的部分, Q的LASTVT集合中每一个元素与a在表格中的交叉点填大于号,此题中可以找到 T) 与 ,S还有S#(此时填的方式是以列为主的看,即我确定列 ),再即将LASTVT填入)