FISRT集和FOLLOW集

FIRST集

什么是FIRST集

FIRST($\alpha$)是从$\alpha$推导出的串的起始终结符的集合。
FIRST($\alpha$) = {a | $\alpha {\Rightarrow }^{\ast }$a…, a$\in V_T$}， $V_T$是终结符集合。
特殊情况：$\alpha {\Rightarrow }^{\ast }\epsilon$时，规定$\epsilon \in$ FIRST($\alpha$)。

怎么求FIRST集

• 若X$\to$a…， 则将终结符a加入FIRST(X)中；
• 若X$\to \epsilon$，则将$\epsilon$加入FIRST(X)中；
• 若X$\to$Y…，且Y属于非终结符，则将FIRST(Y)$-${$\epsilon$}加入到FIRST(X)中；
• 若X$\to Y_1{Y}_2...Y_K$,且$Y_1,Y_2,..Y_{i-1}$ (2$⩽$i$⩽$k)都是非终结符，且$Y_1,Y_2,...Y_{i-1}$ 的FIRST集合中均包含$\epsilon$，则将FIRST($Y_j$)的所有非$\epsilon$元素加入到FIRST(X)中，(j=1,2,…i)。特别地，若$Y_1$~$Y_K$均有$\epsilon$产生式，则将$\epsilon$加到FIRST(X)中。

FISRT集中有$\epsilon$。

FOLLOW集

什么是FOLLOW集

FOLLOW($\alpha$)是在所有句型中紧跟在$\alpha$后面的终结符集合。
FOLLOW($\alpha$) = {a | S ${\Rightarrow }^{\ast }$…Aa…，a $\in V_T$}，$V_T$是终结符集合。
特殊情况：如果A是某个句型的最右符号（S${\Rightarrow }^{\ast }\beta$A），那么$属于FOLLOW(A)。

怎么求FOLLOW集

• 对文法的开始符号S，将$加入到FOLLOW(S)中。
• 若有$A\to \alpha B\beta$，则将FIRST($\beta$)$-${$\epsilon$}加入到FOLLOW(B)中。$\alpha$可以为空串。
• 若$A\to \alpha B$或$A\to \alpha B\beta$，且$\beta {\Rightarrow }^{\ast }\epsilon$，则将 FOLLOW(A)加入FOLLOW(B)中。$\alpha$可以为空串。

FOLLOW集中没有$\epsilon$。
安利一个求FISRT集和FOLLOW集的工具：Toolbox