编译原理First和Follow个人整理详细

First集合

First集合：
有一个在csdn搜到的解释很明了，我很喜欢
直达通道
说First集合就是自己的开始终结符
是自己非终结的首
我觉得就靠这个就完全可以了

例如：
1.E->TE’
2.E’->+TE’| ε
3.T->FT’
4.T’->*FT’| ε
5.F->(E) | id

First(T)={（，id}
根据第三行第一个跟着的是F，F等价于(E)或id，这里面（和id就是终结符，为所求

First(T’)={*，ε}
根据第四行，第一个跟着的是*或ε，第一个就是终结符了，所以不用再去找非终结符去推导了，为所求

First(E’)={+，ε}
第二行，第一个跟着的就是+，也能推出空，为所求

反正我是理解了，嘎嘎嘎嘎嘎，书上的定义我是真看不来

Follow集合

Follow集合
就是自己后面跟着的，不属于自己的尾首
就是后面跟着的别的非终结符的尾首，终结符

当然还要知道
如果是开始符号，应将输入结束标志假如Follow集合中，一般为#或@

对于A -->αB，将follow(A)结果加入follow（B）
对于A -->αBβ
如果β不空，就把first(β)加入follow(B)
如果β空，就把first(β)-ε和Follow(A)加入follow(B)

还是那道题

例如：
1.E->TE’
2.E’->+TE’| ε
3.T->FT’
4.T’->*FT’| ε
5.F->(E) | id

FOLLOW(F)=
第三行，F后面跟着的是T’，T’可以推出ε，就把First(T’)-ε和Follow(T)加入
此时有FOLLOW(F)=First(T’)-ε、Follow(T)

先看Follow(T)
第二行，T后面是E’，并且E’可以推出ε，就把First(E’)-ε和Follow(E’)加入
此时有FOLLOW(F)=First(T’)-ε、First(E’)-ε、Follow(E’)

再看Follow(E’)
第一行，E’后面空，<想成有个β，但β就是空>就把First(空)-ε和Follow(E)加入
First(空)-ε我认为就可以省略了，（我自己认为的）
此时有FOLLOW(F)=First(T’)-ε、First(E’)-ε、Follow(E)

最后看Follow(E)
第五行，E后面跟着），非终结符，尾首，就是我们找的！！！！！
同时，E是开始符号，所以#也属于
此时有Follow(E)={ ），#}

综上所述：
FOLLOW(F)=First(T’)-ε、First(E’)-ε、Follow(E)
其中
First(T’)-ε={*，ε}-{ε}={*}
First(E’)-ε={+，ε}-{ε}={+}
Follow(E)={ ），#}

FOLLOW(F)={*，+，），#} 终于做完了