文法： 描述语言的语法结构的形式规则

学习文法主要是认识终结符和非终结符：其实这个特别简单，示例： S->Ap S->Bq A->a A->cA B->b B->dB 其中大写字母为非终结符，小写字母为终结符。两者组合可以构成一个式子。  

文法定义的形式-四元组（Vn,Vt,P,S）: Vn为非终结符集，Vt 为终结符集，P为规则集，S为识别符|开始符，至少要在一个规则中作为左部出现，Vn ∩ Vt = ∅。根据对文法施加不同的限制，分成4种类型。

0型或短语文法：

1型文法：又称为上下文有关文法：

2型文法：又称为上下文无关文法：

3型文法：又称为正规文法（正规文法又包括左线性文法和右线性文法）：

右线性文法：

左线性文法：

注意：式子右边的格式一定要一致。也就是说如果有一个是（终结符+非终结符）那么所有的式子都必须是（终结符+非终结符）， 如果有一个是（非终结符+终结符），那么所有的式子都必须是（非终结符+终结符）

四种类型文法描述能力比较：0型>1型>2型>3型文法

举例：判断        属于那种文法。

1、我们分开来写，应该是：A->e   A->aB   B->Ab  B->a 2、我们先来判断是否符合0型文法：0型文法规定左边必须有非终结符，那么这些都是符合的。 3、我们再来看是否符合1型文法：1型文法规定从小推到大。也符合。 4、我们再来看是否符合2型文法：2型文法规定左边必须是非终结符，也满足。 5、我们继续看是否符合3型文法：规定只能符合右线性或者左线性，那么前面一个应该是符合右线性的，后面一个是符合左线性的。所以综合起来就不符合3型文法了。 得出结论：那么这个题目属于2型文法。