Classification of language

语言的分类方法是非常多的，在wikipedia Language 中给出 了language的简单分类方法:

1) Constructed language 人造语言

2) Natural languages 自然语言

3) Formal language 形式语言

Programming language 即"编程语言"，它是一种 formal language。后面会对它进行详细介绍。

需要注意的是: Formal language 不是 natural language 。

除了上述分类方法，还包括如下分类方法:

1) GPL and DSL，参见./GPL-and-DSL

2) Official and dialect，参见Official-and-dialect

形式语言

科学需要严谨的、准确的描述方式，所以它使用的语言不同于人类说话时使用的自然语言，在科学中，往往使用的一种叫做 formal language 的语言，这类语言有着诸多优良的特性，它是很多学科的基础。它相较于自然语言，有着诸多优势，其中一个优势就是 machine-readable，所以这也是它吸引计算机科学家的一个原因。在下章将对其进行详细讨论。