FIRST集和FOLLOW集的构造

FIRST集和FOLLOW集的定义

注意：1：FIRST集的定义中(alpha和eta)可以是终结符也可以是非终结符.
2：FOLLOW集的定义中(mu和eta)可以是终结符也可以是非终结符,但(mu)可以为(varepsilon); (eta)不能为(varepsilon).

计算FIRST集

计算FOLLOW集

判断文法是否是LL(1)文法

一个文法是LL(1)的，当且仅当对于G的每一个非终结符A的任何两个不同产生式(A o alpha | eta):

例题