First集
定义:对于任意文法符号串α ,FIRST(α)是可从α推导得到的串的首符号的集合
如果α-->ε,则ε也在FIRST(α)中( 即α可空)
FIRST(α)={t|α-->tβ, t∈T}U{ε|α-->ε}
做法:首先明确FIRST集合是对推导符号后面的首符号(仅仅只是一个符号)进行判断的
步骤:
假设 α-->tβ,求FIRST(α)
① 如果首符号t是终结符则直接放入first集合中
②如果t不是非终结符:
i.如果t—>ε,则将ε加入FIRST(α),并且将β进行①②操作判断。
ii.如果t不是ε,那么求first(t),并将first(t)的结果放入FIRST(α)中。