学习形式语言有什么用?
数学、逻辑和计算机科学中，形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。
如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。
按一定规律构成的句子或符号串的有限或无限的集合。
形式语言的字母是从该语言的字符串可以形成的一组符号，字母，或标记，;通常它的要求是有限的。
字符串由这个称为字的字母形成，这些词属于一个特定的形式语言有时被称为形式公式。一个正式的语言，往往是通过一个正式的语法，如正则文法或上下文无关文法定义，称作形成规律。
形式语言理论主要研究的是内部结构模式这类语言的纯粹的语法领域。形式语言理论是从语言学衍生而来，作为一种理解自然语言的句法规律。在计算机科学中，形式语言通常作为定义编程语言和语法的基础，是正式版本的自然语言的子集。在计算复杂性理论中，决策问题通常定义为形式语言，复杂类被定义为形式语言的集合，它能被具有有限计算能力的机器所解析。在逻辑和数学基础中，形式语言是用来表示公理系统的语法。
形式语言相对来说没有二义性和断词之类的问题，而且更方便演算。然后，具体的用途嘛。。。既然题主想知道学术以外的作用，就。。。可以用来画漫画
编程语言编译器的实现与形式语言理论有关。目前的编程语言大多都依赖于上下文无关文法。譬如词法分析和正则表达式对应于正则文法。语法分析有很大的一部分是关于上下文无关文法的。正则表达式有多有用就不赘述了。单说编译原理的部分，不要觉得学会编译原理就只能写编译器了，然后自己不写编译器也用不到。NAIVE！处理 XML 和 json 字符串啦，查找蛋白质模式啦，Web 的模板引擎啦，代码的语法高亮，自动生成代码，转化代码到 UML 等等有各种各样好玩的应用。这些都是和形式语言相关的。
