形式语言 在数学逻辑和计算机科学中形式语言英語Formal language是用精确的数学或机器可处理的公式定义的语言 如语言学中语言一样形式语言一般有两个方面语法和语义专门研究语言的语法的数学和计算机科学分支叫做形式语言理论它只研究语言的语法而不致力于它的语义在形式语言理论中形式语言是一个字母表上的某些有限长字符串的集合一个形式语言可以包含无限多个字符串