语言学又称做形式语言学，主要研究如何对语言的形式结构进行严格的数学描述，并据此创立形式化的普遍语法。认为语言拥有一种递归机制和生成功能。也就是说有限的语言单位和规则可以生成无限的句子，并用数学的方法将之公式化，创建普遍语法的数学模型。代数语言学对计算语言学，机器翻译、语言信息处理学、计算机科学都有很大的贡献。但是代数语言学对语言结构、语言系统、语言本质的研究是不擅长的。
模煳语言学.模煳语言学是用模煳数学的方法来研究语言的。