如果α、β均不能推导出ε,则FIRST(α)∩FIRST(β)=Φ,α和β最多有1个能推导出ε;如果β*═ε,则FIRST(α)∩FOLLOW(A)=Φ。
LL1文法既不是二义性的,也不含左递归,对LL1文法的所有句子均可进行确定的自顶向下语法分析。需要注意的是,并不是所有的语言都可以用LL1文法来描述,而且不存在判定某语言是否是LL1文法文法的算法。
时间: 2024-10-29 15:31:43
如果α、β均不能推导出ε,则FIRST(α)∩FIRST(β)=Φ,α和β最多有1个能推导出ε;如果β*═ε,则FIRST(α)∩FOLLOW(A)=Φ。
LL1文法既不是二义性的,也不含左递归,对LL1文法的所有句子均可进行确定的自顶向下语法分析。需要注意的是,并不是所有的语言都可以用LL1文法来描述,而且不存在判定某语言是否是LL1文法文法的算法。