形式语言（Formal Language）是数学、逻辑和计算机科学中用精确的数学或机器可处理的公式定义的语言。它类似于语言学中的语言，包含语法和语义，但通常只研究语法而不致力于语义。形式语言由字母表上的某些有限长字符串组成，可以包含无限多个字符串，并按一定的规则构成句子或符号串的集合。
形式语言的特点包括：
语法（Syntax）：定义了语言中符号和结构的使用规则，包括词法规则和语法规则。词法规则涉及Token（如单词、数字、运算符等）的构成，而语法规则涉及这些Token如何组合成句子或表达式。
词汇（Lexical）：涉及Token的选择，即哪些符号或字符是有效的词汇单元。
结构（Structure）：涉及Token如何组合成有意义的句子或表达式。
形式语言在计算机科学中尤为重要，因为它们提供了一种精确描述计算过程和算法的方式。编程语言、数据格式和通信协议等都是形式语言的具体应用。
形式语言与自然语言（如汉语、英语等人类日常使用的语言）形成对比，后者是自然进化的，而形式语言是人为设计的，用于特定的技术或科学目的
