和语言学中的语言一样，形式语言一般有两个方面:语法和语义。数学和计算机科学中专门研究语言语法的分支叫做形式语言理论，只研究语言语法而不关注其语义。在形式语言理论中，形式语言是字母表上一些有限字符串的集合。一种形式语言可以包含无限多的字符串。
按照一定规则形成的一组有限或无限的句子或符号串。
正式语言的字母是可以由该语言的字符串形成的一组符号、字母或标记；通常它的要求是有限的。
由这个叫做单词的字母组成一个字符串，属于特定的形式语言，有时被称为形式公式。一种形式语言往往是由一种形式语法来定义的，比如正则语法或者上下文无关语法，这种语法叫做构成律。
形式语言理论主要研究语言的内部结构模式等纯语法领域。形式语言理论源于语言学，是理解自然语言的句法规律。在计算机科学中，形式语言通常是定义编程语言和语法的基础，它是自然语言的形式版本的子集。在计算复杂性理论中，决策问题通常被定义为形式语言，复杂类被定义为一组形式语言，可以被计算能力有限的机器分析。形式语言是以逻辑和数学为基础，用来表达公理系统的语法。
形式语言相对来说没有歧义和断词，计算起来更方便。然后，具体使用。。。既然题主想知道学术之外的作用，那就是。。。可以用来画漫画。