形式语言学

出处：按学科分类—社会科学总论 中国青年出版社《社会科学学科辞典》第849页（908字）

又称“代数语言学”。

研究一般的抽象符号系统的学科。

电子计算机的信息处理。

要求人们对于传统的语言学概念进行严格的逻辑分析，并且提出精确的语言模型，把语言学改造成为现代科学的演绎系统，这样就产生了形式语言学。形式语言学主要研究一般的抽象符号系统。

它运用形式模型对语言进行理论上的分析和描写，这些模型其中有一部分是从数学和逻辑学中借来的。语言的客观事实经过语言模型的抽象数学描述之后，就能够比较适应于计算机的处理。

语言模型主要有两类：分析模型和综合模型，后者又称为生成模型。分析模型：即从已知的一个语言集合出发，分析它的语句结构、组织元素及其相互关系，也就是找出一组语法规则来描述它。

形式语言学把注意力放在怎样寻找形式语言规则系统上，而不是制定一种具体的语法去描述一种具体的自然语言。所以说，分析模型从方法论方面为描写语言学提供了数学基础。语言分析模型处理词法现象的基本思想，是用词汇集合中元素(词)的数学支配关系，恰当地刻划词的组合能力和形态变化。这样，就可以用抽象的数学工具普遍地描述词法范畴，比如名词的性、数、格，动词的语态、时态、人称，等等。

语言分型模型又用数学的构形理论来描述“句法”。在自然语言中，句子里的词是相互联系相互制约的，这种依存关系通过词序或词形变化表现出来。数学的“构形”概念正是这种依存关系的抽象。这里也可以运用新颖的图论工具来处理。综合模型：即从已知的一组语法规则出发，研究这个形式语法所生成的某一语言集合的性质。根据这种模型可以识别和理解各个句子，也可以构造出各个句子来。

形式语言学的最突出成就，是在综合模型，特别是在乔姆斯基的转换生成语法方面。乔姆斯基把语言模型看作是数学上的某种算法过程，它由一套给定的初始元素，根据一定的语法规则，生成这些元素的序列。

如果初始元素是字母，由模型生成的序列就是词；如果初始元素是词，由模型生成的序列就是句子。总之，由模型根据语法规则生成的一切序列的集合，叫做“语言”，这就是“转换－生成语法”。

形式语言学在计算机软件——程序语言设计方面取得了首要的地位。