数学、逻辑和计算机科学中，形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。 按一定规律构成的句子或符号串的有限或无限的集合。
形式语言
网络释义专业释义
摘 要： 这盏台灯夸张的外形说明，它的出现是设计师对形式语言（form language）的一次大胆的探究。设计师说自己从很小的时候就对冬目的雪花有着执着的迷恋，通过观察大量形状结构不同的雪花，从它们均匀的结构...
基于20个网页-相关网页
... Berechenbarkeit und Komplexität 可计算性与复杂度 Formale Sprachen 形式语言 Approximationsalgorithmen 近似算法 ...
基于14个网页-相关网页
... formalization 形式化 formalized language 形式语言 formalized meaning 形式化的意义 ...
基于8个网页-相关网页
短语
形式语言理论 [计] 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
-
formal language - 引用次数：75
The score of this paper is the "formal language of Icon-painting in Medieval Europe" which is divided into 8 parts.
本文所论述的核心即“圣像画”的形式语言,共分八个部分。
参考来源 - 欧洲中世纪圣像画的形式语言分析form language - 引用次数：52 参考来源 - 浅析中国绘画艺术语言中的线条linguistic form - 引用次数：2 参考来源 - 论中国画的意象造型及引发的教学思考style language - 引用次数：2 参考来源 - 论中国现代油画艺术中“真实”的消逝与重建 -
formal language - 引用次数：14
Accordingly, I haveeduced the Toyo Ito’s formal language structure--temporary, flow and transparence.
从而得出伊东丰雄的形式语言架构——暂时性、流动性和透明性。
参考来源 - 伊东丰雄形式语言分析 -
formal language - 引用次数：2 参考来源 - 数据库操作题自动阅卷的设计与实现
-
formalized language - 引用次数：2 参考来源 - 弗雷格的意义理论探讨formal language - 引用次数：1 参考来源 - 数学符号系统的形成与认识功能
-
formal language - 引用次数：1 参考来源 - 外国诗歌译介对中国新诗发生的影响研究
-
formal language
-
formal language
·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.
-
Now "The Theory of the Formal Method," Eikhenbaum's essay that you've read for today, was written in 1927.
这篇，形式语言学理论“,是艾肯鲍姆，在1927年写的。
-
By the way, if we begin by talking about poetic and practical language, we're beginning where the Russian formalists began.
谈到诗化语言和实用语言，我们就和俄国的形式主义者站到了同一个起点。
-
They reject that formalism as an impediment to language's access to the real, and to our access to the real through language.
他们反对形式主义,将其视为语言与现实之间，和我们通过语言，和现实之间的阻碍。
应用推荐
$firstVoiceSent
- 来自原声例句