形式语法
G = （N，Σ，P，S）
N：非终结符的有限集合
Σ：终结符有限集合
P：一组重写规则集合
S：句子或者初始符号
V：总结词汇表 V = N∪Σ
重写规则 P = {α → β} α由V中元素构成的集合，且至少包含一个非终结符
形式语法类型
| 文法 G | 名称 | 语言 L（G） | 名称 |
|---|---|---|---|
| 0型文法 | 短语结构文法（PSG） | 0型语言 | 短语结构语言或递归可枚举集（PSL） |
| 1型文法 | 上下文有关文法（CSG） | 1型语言 | 上下文有关语言(CSL) |
| 2型文法 | 上下文无关文法（CFG） | 2型语言 | 上下文有关语言（CFL） |
| 3型文法 | 正规文法（RG） | 3型语言 | 3型语言 |