您要查找的是不是:
- formal language theory 形式语言理论
- The letter was in very formal language. 这封信使用了非常正式的语言。
- Second, speechmaking requires more formal language. 其次,公开演说需要正式语言。
- A formal language used by peer entities to exchange information. 为交换信息由对等实体使用的一种形式语言。
- It's a formal language to describe complex cellular networks. 它是描述复杂细胞系统的形式语言。
- Davidson introduced the factors of language user on the basis of Tarski's truth theory for formal language and gave an appropriate definition for natural language. 戴维森在塔斯基的对形式语言的真之定义基础之上引入了语言使用者,对自然语言的意义进行了阐释。
- Since N. Chomsky constructed the theory of Formal Language and Automaton in the fifties of the 20th century, a great progress has been made in the study of Computational Linguistics (CL). 自20 世纪50 年代Chomsky 创立形式语言与自动机理论以来,计算语言学研究已经历了近半个世纪的发展历程,取得了丰硕成果。
- The object constraint language(OCL),a formal language used to describe expressions on UML models and the elementary theory of specification-based mutation analysis are in-troduced. 介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一些变异算子的具体实现。
- Over the past twenty years, automata and formal languages have become the standard introductory theory course in both the undergraduate and graduate curricula of computer science. 在过去的二十年里,自动机和形式语言成了计算机科学研究生和本科生标准的导论性课程。
- Formal language and Automata theory 形式语言与自动机理论
- ADL is used to specify a computer network.DORIS were extended with the formal language. ADL专用于计算机网络,是DORIS的一种形式语言扩充。
- In language theory, the simplest algorithms are those which can be implemented by finite automata, the subject of this book. 在语言理论,最简单的一类算法就是可以用有限自动机实现的算法,也是本书的主题。
- As a formal language in the domain knowledge,ontology has been a vigorous tool for the domain knowledge management. 本体作为领域知识的规范化形式语言,已成为领域知识管理的强有力工具。
- Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
- Colin Chinnery’s project, “I Want What You Want” (2009) engages the formal language of exhibition construction. 秦思源作品,“我想要的就是你想要的”(2009),使用的是展览构造本身的形式语言。
- Finally,the model is defined with the Alloy formal language,and a method of expanding the Clark-Wilson model is also presented. 采用Alloy形式化语言来定义模型,并且给出描述扩展Clark-Wilson的方法。
- Editorial language consists of graphic language and formal language, which have expressive, evaluative, adjustive and aesthetic functions. 编辑语言分为文字语言和形象语言两大类,具有表述功能、评价功能、导引功能、调剂功能和审美功能。
- Fresco is an art of environment. So there is no special visual sense of beauty until the picture's formal language is coordinated with the environment harmoniously. 壁画属于环境艺术,只有当画面的形式语言与环境协调统一,才能展现出特有的视觉美感。
- Bill Venners: Are there parts of contracts that are difficult or impossible to express in a formal language, that you can only express in a human language? 在形式语言里,契约的某些部分是否难以或者无法表达,而只能通过人类语言来表述?
- The production of works in Hellenization term are determined by unbosom of feelings the theatrical pursue carve of formal language, manifestation of ugly and pain. 情感的宣泄、戏剧性的追求、形式语言的雕琢、丑陋与痛苦的表现,主宰着希腊化时期的雕塑创作。