如果α、β均不能推导出ε,则FIRST(α)∩FIRST(β)=Φ,α和β最多有1个能推导出ε;如果β*═ε,则FIRST(α)∩FOLLOW(A)=Φ。
LL1文法既不是二义性的,也不含左递归,对LL1文法的所有句子均可进行确定的自顶向下语法分析。需要注意的是,并不是所有的语言都可以用LL1文法来描述,而且不存在判定某语言是否是LL1文法文法的算法。
考驾照网【KaoJiaZhao.COM】
考驾照网(www.kaojiazhao.com) 旗下平台: 驾校平台 教练平台 陪练平台 考试平台
考驾照网举报投诉方式:电话: QQ: 邮箱:(接受色情、低俗、侵权、虐待等违法和不良信息的投诉)
Powered by 考驾照网 © 2001-2013 KAOJIAZHAO XXXXXXXXXX