编译原理-LL(1)文法

• 前面说的像消除左递归、提取最左公因子、求FIRST集合……，今天给它一个称呼，叫作LL(1)文法

• LL(1)文法：若文法G的预测分析表M中不含有多重定义项，则称G为LL(1)文法
  

• 判断一个文法是不是LL(1)文法

  • 当且仅当对于G的每个非终结符A的任何两个产生式A → α | β，有：

// 消除左递归，提取最左公因子的情况下
1）FIRST(α) ∩ FIRST(β) = ∅
2）若ε ∈ FIRST(β)，则FIRST(α) ∩ FOLLOW(A) = ∅

• 注意
  
  • LL(1)文法没有二义性，有二义性的文法一定不是LL(1)文法
  • LL(1)文法是上下文无关文法的一个子集

---

其它

课件下载：

关注下方微信公众号，
回复：
LL(1)文法.code

• 欢迎加入交流群：451826376

• 更多信息：www.itcourse.top