α->ϐ;α必须含有大写
非终结符：大写，可以拆
终结符：小写，不可以拆
VN ：非终结符集
VT ：终结符集
P ：产生式集合（规则集合）
S ：开始符号（识别符号）
α∈(VN∪VT)*：VN和VT 的所有元素的随机组合
结论：1.α∈(VN∪VT)* ，且至少含一个VN（大写），β∈(VN∪VT)*
2.0型文法的能力相当于图灵机（Turing）。或者说，任何0型语言都是递归可枚举的；反之，递归可枚举集必定是一个0型语言。
|β|：β的字符串长度
|α|：α的字符串长度
|β|>=|α| 例如：B->Aa(符合)Aa->b(不符合)
1型文法基础上，α必须是非终结符 例如 Ab=abc（不符合，属于一型文法但是α= Ab时终结符）
3型文法（正规文法）第一点：左边必须只有一个字符，且必须是非终结符；
第二点：其右边最多只能有两个字符，且当有两个字符时必须有一个为终结符而另一个为非终结符。当右边只有一个字符时，此字符必须为终结符。
第三点：对于3型文法中的所有产生式，其右边有两个字符的产生式，这些产生式右边两个字符中终结符和非终结符的相对位置一定要固定，也就是说如果一个产生式右边的两个字符的排列是：终结符＋非终结符，那么所有产生式右边只要有两个字符的，都必须前面是终结符而后面是非终结符。反之亦然，要么，就全是：非终结符＋终结符。
每个产生式均为 “A→aB”或“A→a” —— 右线性
“A→Ba”或“A→a” —— 左线性