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