比如:设字母表T是C语言中所用的全部符号的集合,那么语法正确的C语言程序也是C语言字母表上的语言....可见,文法的核心是生成式集合,它决定了语言中句子的产生。...该体系对生成式的形式作一些规定,分为四类,因此文法也分为四种类型,即0型、1型、2型和3型文法,按生成式的不同介绍如下:
1 .0型、1型、2型和3型文法介绍
1型文法:
或者称为上下文有关文法。...2型或称上下文无关法。生成式的形式为A→α,A∈N且α∈(N∪T)*。...由于文法有四类,所以由这些文法所产生的语言也有四类,即:由上下有关文法产生的语言称为上下文有关语言;由上下无关文法产生的语言称为上下文无关语言;由正则文法产生的语言称为正则语言;由0型文法产生的语言则称为无限制性语言