代数语言学是数理语言学的一个分支。应用集合论、数理逻辑、算法理论、图论、格论、模糊数学等离散的、代数的方法研究语言现象的学科。
代数语言学的研究领域，目前主要包括以下几个方面：
（一）建立语言的数学模型，如美国逻辑学家、语言学家N。乔姆斯基、苏联数学家О。С。库拉金娜、语言学家Y。巴尔·希列尔分别提出了语言的生成性模型、分析性模型和辨识性模型。
（二）研究形式语言及其与自动机的关系。乔姆斯基等人发现，一定类型的形式文法是与一定类型的自动机相对应的，文法是语言的生成程序，而相应的自动机则是该语言的识别程序。
（三）建立自然语言自动处理各种方法的理论。在人机对话研究中提出了扩充转移网络、语义网络等方法，在机器翻译研究中提出了从属分析法、预示分析法、树形分析法等方法，代数语言学要对这些方法进行理论上的研究。
（四）研究语音、语法、词汇、语义中的模糊现象。
（五）研究语言的句法结构与语义解释之间的关系，如孟德鸠语法等。
随着科学的发展，代数语言学正在不断地开拓新的研究领域。
代数语言学的研究，对于计算机程序语言也有一定的指导意义，因而这门学科也引起了计算机科学家们广泛的注意。