数学、逻辑和计算机科学中，形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。 按一定规律构成的句子或符号串的有限或无限的集合。
形式语言 form language ; Formale Sprache ; formalized language
形式语言理论 [计] formal language theory
形式语言与自动机 Formal Languages and Automata
形式语言学 [语] Formal Linguistics ; semiotics
无形式语言 formless language
形式语言文法 [计] formal language grammar
自动化与形式语言 Automata and Formal Languages
多维形式语言 [计] multidimensional formal language
形式语言加工 [计] formal language processing
自由形式语言 free-form language
The score of this paper is the "formal language of Icon-painting in Medieval Europe" which is divided into 8 parts.
本文所论述的核心即“圣像画”的形式语言,共分八个部分。
参考来源 - 欧洲中世纪圣像画的形式语言分析Accordingly, I haveeduced the Toyo Ito’s formal language structure--temporary, flow and transparence.
从而得出伊东丰雄的形式语言架构——暂时性、流动性和透明性。
参考来源 - 伊东丰雄形式语言分析·2,447,543篇论文数据，部分数据来源于NoteExpress
形式语言语法和网络协议的图或表表示法。
Graph or table representations for formal language grammars and network protocols.
编程语言是被设计成用来表达运算的形式语言。
Programming languages are formal languages that have been designed to express computations.
化学家也使用一种形式语言来表分子的化学结构。
Chemists use a formal language to represent the chemical structure of molecules.
应用推荐