There are bound to be some words and phrases that belong in formal language and others that are informal.
必定存在着一些属于正式语言的单词和短语，也存在着另一些属于非正式语言的词汇短语。
McWhorter acknowledges that formal language is not strictly necessary, and proposes no radical education reforms—he is really grieving over the loss of something beautiful more than useful.
McWhorter承认正式的语言并不是绝对必要的，也没有提出任何激进的教育改革——他实际上是在为失去一些美丽但相对不实用的东西而悲伤。
Second, speechmaking requires more formal language.
其次，公开演说需要使用正式语言。
A formal language schema, expressed in RELAX ng compact syntax.
一个规范的语言方案，以RELAX NG压缩语法表达。
To define a formal language, you need more than terms and meaning.
要定义一门正式语言，你需要的不仅仅是术语和术语的含义。
Psychology loses its character of humanity in the formal language;
在其形式化语言的表述中，心理学完全丧失了人文的特征。
Graph or table representations for formal language grammars and network protocols.
形式语言语法和网络协议的图或表表示法。
A formal part query language is defined on the basis of formal language principles.
基于形式语言的原理定义了一种形式化零件查询语言。
They are meant to be read aloud, and often use less formal language than other type of writing.
剧本是要被朗读的，它使用的语言没有其他文体那么正式。
In programming, a regular expression is written in a formal language, also known as regex or regexp.
在编程中，正则表达式是用一种形式语言编写的，也称为regex或regexp。
Color as an important formal language of visual factors plays an important sign in business suit design.
色彩作为视觉因素的重要形式语言在职业装设计中起着重要的标识作用。
The approach includes the definition of a formal language for your project's or system's conceptual architecture.
这种方法包括为项目或系统的概念性架构定义一门正式的语言。
Colin Chinnery's project, "I Want What You Want" (2009) engages the formal language of exhibition construction.
秦思源作品，“我想要的就是你想要的”（2009），使用的是展览构造本身的形式语言。
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.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
This led to the creation of a formal language for business process modeling known as Business Process Execution Language (BPEL).
这引领了业务流程建模的规范语言的创建，即众所周知的业务流程执行语言 (Business Process Execution Language，BPEL)。
Using a formal language for describing your architecture provides several benefits that will become clear from the rest of the story.
使用一门正式的语言来描述你的架构，会带来许多好处，随着故事的逐渐展开，这些好处也会展露无遗。
Metaphysics is exiled by formal language in Tractates Logicophilosophicus as by normal language in Philosophical Investigations.
如同在《逻辑哲学论》中被形式语言消解一样，形而上学在《哲学研究》中被日常语言所消解。
Based on the formal language and automaton theory, this paper mainly studies the automatic recognition of steel character symbol.
本文基于形式语言与自动机理论，主要对钢筋标识串的自动识别进行了研究。
When an artist possesses a certain distinctive feature in his formal language, the origin of such form. often comes under question.
当一个艺术家拥有某种形式语言的鲜明特征时，对其艺术形式的来源也容易受到诘问。
Small errors in spelling and punctuation, which you can get away with in natural languages, can make a big difference in a formal language.
拼写和符号的小错误对于自然语言来说没什么，但对公式语言来说就能带来大问题。
Jackie: So far, we've looked over some of those situations where you might use very formal language in greetings, such as 'sir' or 'madam'.
到目前为止，我们知道了在什么样的场合下使用‘sir’或者是‘madam’来问候别人。
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 three main research areas of the theory are: formal language and automata theory, computability theory and the computing complexity theory.
有三个核心领域：形式语言与自动机理论、可计算性理论和计算的复杂性理论。
To discuss characteristics and values of New Gothic graphic design according to its internal conceptional tendency and external formal language.
从内部观念取向和外部形式语言来探讨新哥特风格平面设计的特征与艺术价值。
For example, the notation that mathematicians use is a formal language that is particularly good at denoting relationships among Numbers and symbols.
例如，数学家使用的标记法就是一种善于表达数字与符号之间关系的形式语言。
Little things like spelling errors and bad punctuation, which you can get away with in natural languages, can make a big difference in a formal language.
那些你在自然语言里边可以忽略的非常小的东西，像是拼写错误或错误的标点，在形式语言里边会有十分不同的影响。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。
应用推荐