形式语言学

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第373页（652字）

数理语言学的一个分支，又叫代数语言学。

形式语言学研究一般的抽象符号系统。它是随着数理逻辑和计算机软件的发展而发展起来的。

电子计算机的信息处理，要求人们对于传统的语言学概念进行严格的逻辑分析，提出精确的语言模型，把语言学(或它的某个方面)改造成为现代科学的演绎系统。这样就产生了形式语言学。

形式语言学运用形式模型对语言进行理论上的分析和描写。这些模型是从逻辑学和数学中借来的。

例如，用分析模型从已从的一个语言集合出发，分析它的语句结构、组成元素及其相互关系，即找出一组语法规则来描述它，目的是找出形式语法规则系统，而不是制定一种具体的语法去描述一种具体的自然语言。在自然语言中，句子里的词是相互联系、相互制约的，这种依存关系通过词序或词形变化表现出来。数学的“构形”概念正是这种依存关系的抽象，所以，语言分析模型可以用构形理论来描述句法。又如用综合模型识别和理解各个句子，构造各个句子。

实践证明，形式语言模型不仅在计算机软件、程序自动化等方面提供了可靠的理论基础，而且对于自动翻译、人工智能、人机对话等方面都有很大的影响。但是形式语言学还不能完全解决自然语言中的语义问题，于是从70年代开始，数理语言学逐渐向“算法语言学”发展，把语言的研究归结为“表层结构”和“深层结构”的关系，以揭示语言结构的全部本质。