文法是一个四元组:G=(V,T,P,S)
V是变量(variable)的非空有穷集.对于任意的A∈V,A叫作一个语法变量,简称为变量,也可叫作非终极符号(nonterminal).
T是终极符(terminal)的非空有穷集.对于任意的a∈T,a叫作终极符.T中的字符是语言的句子中出现的字符.
P是产生式(production)的非空有穷集合.P中α->β,成为产生式,读作α定义为β.α称为产生式的左部,β称为产生式的右部.
S是文法G的开始符号(start symbol),S∈V.
文法的乔姆斯基体系,将文法分为四类:0型文法,1型文法,2型文法,3型文法.
0型文法(type 0 grammar),又称短语结构文法(Phrase structure grammar,PSG),对应的语言叫作0型语言或短语结构语言(PSL),递归可枚举集(recursively enumerable set,r.e.).
1型文法(type 1 grammar),或上下文有关文法(context sensitive grammar,CSG).在0型文法的基础上,加上条件"对于任意α->β∈P,均有|β|≥|α|".对应的语言叫作1型语言或上下文有关语言(CSL).
2型文法(type 2 grammar),或上下文无关文法(context free grammar,CFG).在1型文法的基础上,加上条件"α∈V".对应的语言叫作2型语言或上下文无关语言(CFL).
3型文法(type 3 grammar),或正则文法(regular grammar,RG),正规文法.在2型文法的基础上,加上条件"A->ω,A->ωB,其中A,B∈V,ω为非空终极符".对应的语言叫3型语言或正则语言(RL).
通过以上可知四类文法的关系:正则文法⊂上下文无关文法⊂上下文有关文法⊂短语结构文法.(RG⊂CFG⊂CSG⊂PSG.)