# 文法的定义
# 文法的分类
## 0型文法
- 必须要有由非终结符开始的推导
## 1型文法（上下文敏感文法，CSG）
- 推导过程进行中，句型内符号个数只能扩展或不变，不能收缩
- 左部和右部都可以有前缀或后缀（当然也可以没有）
- 右部不能是空产生式（$\epsilon$）
## 2型文法（上下文自由文法，CFG）
- 左部只能是单个非终结符
- 右部可以是任意内容，包括空产生式
## 3型文法（正则文法，RG）
![]()