《编译原理》
文法是用来定义语言的规则的。 （参考https://blog.csdn.net/wzwenhuan/article/details/8040085）
如何符号化定义文法呢？从形式上文法是一个四元式（VN,VT,P,S）
乔姆斯基把文法分成四种类型，即0型、1型、2型和3型。（参考
以下摘录来自：
https://blog.csdn.net/Chen_dSir/article/details/72781375?spm=1001.2101.3001.6661.1&utm_medium=distribute.pc_relevant_t0.none-task-blog-2%7Edefault%7ECTRLIST%7Edefault-1.no_search_link&depth_1-utm_source=distribute.pc_relevant_t0.none-task-blog-2%7Edefault%7ECTRLIST%7Edefault-1.no_search_link

　　对比：
　　四种文法之间的关系是随着型号的增加，对语言的限制条件就越来越大
　　条件如下：
　　0型文法　: 产生式左右两边都可以出现任意符号串
　　1型文法　: 产生式的左边可以有终结符的出现，产生式右边是任意符号串
　　2型文法　：产生式的左边是非终结符，产生式的右边是任意符号串 （上下文无关文法）
　　3型文法　：产生式的左边是非终结符，产生式的右边非终结符的位置要么在最左边要么在最右边而且最多只能有一个
　　　　　　　　如：A-->aB | d
　　　　　　　　　　A-->Ba | d