龙书算法:
First:
(1)、如果X是终结符,那么First(X) = X;
(2)、如果X是非终结符,且XàY1Y2......Yk是一个产生式,其中k>=1;那么如果对于某个I, a在First(Yi)中,且#(空串)在所有的First(Y1)…..First(Yi-1)中,就吧a加入到First(X)中。
(3)、如果Xà#(空串)是一个产生式,那么将#加入到First(X)中。
Follow:
(1)、将$放入到Follow(S)中,其中S是开始符号,而$是输入右端结束的标记。
(2)、如果存在一个产生式AàaBb,那么First(b)中除#(空串)外地所有符号都在Follow(B)中。
(3)、如果存在一个产生式AàaB, 或存在AàaBb且First(b)包含#(空串),那么Follow(A)中的所有符号都在Follow(B)中。
自己理解:
First:(看X的产生式)
(1)、如果X是终结符,那么First(X)= X;
(2)、如果X是非终结符,且XàY1Y2......Yk,i=1;
1)、将First(Yi)加入到First(X)中,
2)、如果#包含着First(Yi)中,i++,重复1);
3)、如果#不包含在First(Yi)中,First(X)计算完成;
(3)、如果Xà#(空串)是一个产生式,那么将#加入到First(X)中。
Follow:(看在右边有B的产生式)
(1)、将$放入到Follow(S)中,其中S是开始符号,而$是输入右端结束的标记。
(2)、如果存在一个产生式AàaBb,那么First(b)中除#(空串)外地所有符号都在Follow(B)中。
(3)、如果存在一个产生式AàaB, 或存在AàaBb且First(b)包含#(空串),那么Follow(A)中的所有符号都在Follow(B)中。
实例:
(1) EàTE’ (2)E’à+TE’ |# (3) TàFT’ (4)T’à*FT’|# (5)Fà(E)|id
FIRST(F)={(,id } FIRST(T’)={*,#} FIRST(T)=FIRST(F)={(,id}
FITST(E’)={+,#} FIRST(E)={(,id}
FOLLOW(E)={$,)}
FOLLOW(E’)={$,)}
FOLLOW(T)={+,$,)}
FOLLOW(T’)={+,$,)}
FOLLOW(F)={*,+,$,)}