如果α、β均不能推導出ε,則FIRST(α)∩FIRST(β)=Φ,α和β最多有1個能推導出ε;如果β*═ε,則FIRST(α)∩FOLLOW(A)=Φ。
LL1文法既不是二義性的,也不含左遞歸,對LL1文法的所有句子均可進行确定的自頂向下語法分析。需要注意的是,并不是所有的語言都可以用LL1文法來描述,而且不存在判定某語言是否是LL1文法文法的算法。
如果α、β均不能推導出ε,則FIRST(α)∩FIRST(β)=Φ,α和β最多有1個能推導出ε;如果β*═ε,則FIRST(α)∩FOLLOW(A)=Φ。
LL1文法既不是二義性的,也不含左遞歸,對LL1文法的所有句子均可進行确定的自頂向下語法分析。需要注意的是,并不是所有的語言都可以用LL1文法來描述,而且不存在判定某語言是否是LL1文法文法的算法。