编译原理-------6

二、文法与语言的形式定义：

1. Chomsky 对文法对定义：从形式上说文法G是一个四元式（非终结符，终结符，文法规则的集合，开始符号）
2. Chomsky 对文法的分类：根据对产生式施加的限制，可以分为：

• 0型文法：
  

---

• 1型文法：
  

---

• 2型文法：
  

---

• 3型文法：
  

---