First, formal language tends to be more polite.

首先，正式的语言往往更有礼貌。

Formal language is different from informal language in several ways.

正式语言与非正式语言在许多方面都不同。

Another difference between formal and informal language is some of the vocabularies.

正式语言和非正式语言的另一个区别是一些词汇的不同。

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 承认正式的语言并不是绝对必要的，也没有提出任何激进的教育改革——他实际上是在为失去一些美丽但相对不实用的东西而悲伤。

Formal language is the kind of language you find in textbooks, reference books and in business letters.

正式语体是你在教科书、参考书和商务信函中看到的用语。

Second, speechmaking requires more formal language.

其次，公开演说需要使用正式语言。

It's a formal language that remains easy to read and write.

这就是一种读起来和写起来都很轻松的规范语言。

A formal language schema, expressed in RELAX ng compact syntax.

一个规范的语言方案，以RELAX NG压缩语法表达。

To define a formal language, you need more than terms and meaning.

要定义一门正式语言，你需要的不仅仅是术语和术语的含义。

OCL is a declarative language, and also is a formal language.

OCL是一种声明式语言，也是一种形式化语言。

Graph or table representations for formal language grammars and network protocols.

形式语言语法和网络协议的图或表表示法。

Chemists use a formal language to represent the chemical structure of molecules.

化学家也使用一种形式语言来表分子的化学结构。

A formal part query language is defined on the basis of formal language principles.

基于形式语言的原理定义了一种形式化零件查询语言。

In programming, a regular expression is written in a formal language, also known as regex or regexp.

在编程中，正则表达式是用一种形式语言编写的，也称为regex或regexp。

Object Constraint language (OCL) is a formal language used to describe rules that apply to UML models.

Object Constraint Language (ocl)是一种用于描述应用于uml模型规则的规范语言。

The approach includes the definition of a formal language for your project's or system's conceptual architecture.

这种方法包括为项目或系统的概念性架构定义一门正式的语言。

However - and that might come as a surprise here - I am advocating a formal language for architecture description 2.

然而——这里可能显得有些突然——我一向鼓吹的是要用一门正式语言来描述架构2。

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.

使用一门正式的语言来描述你的架构，会带来许多好处，随着故事的逐渐展开，这些好处也会展露无遗。

A computer can compute arguments very easily by simple algorithms but it can't do is translate an argument in English to a formal language.

电脑可以很容易地计算论点，通过简单的算法，但是不能这样做，把一个论点从英语翻译成另一种形式语言。

Small errors in spelling and punctuation, which you can get away with in natural languages, can make a big difference in a formal language.

拼写和符号的小错误对于自然语言来说没什么，但对公式语言来说就能带来大问题。

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?

在形式语言里，契约的某些部分是否难以或者无法表达，而只能通过人类语言来表述？

In some sense, the fashion of the formal language in traditional Chinese painting is beneficial to spreading of traditional Chinese painting.

从某种意义上讲，中国画形式语言的时尚性，有益于中国画的流传。

Although imitation sometimes can stimulate individual creativity, mechanical imitation will reduce the richness and vitality of the 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.

那些你在自然语言里边可以忽略的非常小的东西，像是拼写错误或错误的标点，在形式语言里边会有十分不同的影响。