在数学、逻辑和计算机科学中，形式语言（）是用精确的数学或机器可处理的公式定义的语言。如语言学中语言一样，形式语言一般有两个方面：语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。
语言的形式定义.
字母表与字符串.语言定义在某一个特定的字母表上，字母表（经常记作 Σ ）可以为任意有限集合。例如集合f