Formal Language
形式语言（formal language） 是用精确的数学公式定义的语言，包含 形式语法 和 形式语义 两部分。
专门研究语言的语法的数学和计算机科学分支叫做形式语言理论（formal language theory），它只研究语言的 形式语法 而不致力于它的 形式语义。
在该理论中，形式语言 根据 形式语义 的文法
Wikipedia
In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.[1]