NLP学习记录（二）形式语法

形式语法
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型语言