编译原理(五) LL(1)文法分析法-预测分析表的构造

基本定义 FIRST(α): 令Ｇ是一个不含左递归的文法，对G的所有非终结符的每个候选α定义它的终结首符集FIRST(α)为： FIRST(α)={a | α=>*a…, a∈VT} 若α=>*ε，则规定ε∈FIRST(α) FIRST(α)是α的所有可能推导的开头终结符或可能的ε 如果非终结符Ａ的所有候选首符集两两不相交，即Ａ的任何两个不同候选αi和αｊ FIRST(αi) ∩FIRST(αj)

>>阅读原文<<