文法有四种类型，即0型、1型、2型、3型。

文法是一个汉语词汇，即文章的书写法规，一般用来指以文字、词语、短句、句子的编排而组成的完整语句和文章的合理性组织。

在计算机科学中，文法是编译原理的基础，是描述一门程序设计语言和实现其编译器的方法。文法的描述多用巴克斯范，而另一个重要的概念是：正则表达式，也是文法的另一种形式。