[编译原理]文法的定义与文法产生的分类

事先声明：本文是非常非常理论化的内容，与实际开发基本没有关系，仅仅作为内功而存在。。

下面是正文：

文法

文法自从乔姆斯基于1956年建立语言的形式描述以来，形式语言的理论发展很快。这种理论对计算机科学产生了深刻影响，特别是对程序语言的设计、编译方法、计算复杂性等方面有更大的作用。同时，它还促进了计算机科学的理论研究工作，并取得了不少的成果，使得计算机的理论工作走在计算机发展的前面。然而随着计算机及其应用的迅速发展，今天的理论工作远远落后了。巴科斯和诺尔把乔姆斯基的描述首先应用于程序语言的定义中。

我们已经讨论了语言的定义，它是由语法和语义定义的。语法定义可有三种方法：自然语言、BNF和识别图。把语法的形式描述称为文法，将用于语言的设计和语言的实现(编译)。

∈

文法的定义：