Formal languages tend to have strict rules about syntax.
形式语言有严格的语法规则。
Describing architecture with formal languages is not a new idea.
用正式的语言描述架构并非一个新的想法。
Formal languages are languages that are designed by people for specific applications.
形式语言是人们为了特殊的应用而专门设计的语言。
Formal languages are languages that are designed by people for specific applications.
公式语言是人们为了特定用途设计出来的。
Formal languages are more dense than natural languages, so it takes longer to read them.
公式语言比自然语言要更加密集，读起来也需要更长时间。
They should use polite and formal languages when talking to the customers and supervisors.
当跟客人和领导说话时，他们被要求使用礼貌用语和正式言语。
Formal languages tend to have strict syntax rules that govern the structure of statements.
公式语言有严格的语法规则和对语句结构的要求。
Programming languages are formal languages that have been designed to express computations.
编程语言是被设计成用来表达运算的形式语言。
Programming languages are formal languages that have been designed to express computations.
编程语言是一种用来表达运算的公式语言。
People who grow up speaking a natural language everyone often have a hard time adjusting to formal languages.
说着自然语言长大的人们，每个人在适应形式语言的时候都会有一段困难时期。
A computer can reason about statements in these formal languages automatically using logical inference rules.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
In more formal languages, efficiency of compiled code is a priority, and a limit is placed on language flexibility.
对于较为正式的语言，需要优先考虑已编译代码的效率，并且对语言的灵活性有所限制。
First, remember that formal languages are much more dense than natural languages, so it takes longer to read them.
首先，记住形式语言比自然语言要密集的多，因此阅读的时候将会花费更长的时间。
The disadvantage of the traditional formal languages is that they are used by people who possess a solid mathematical knowledge, but they are difficult to use for a modeling system.
传统规范语言的劣势在于，它们是由拥有稳固数学知识的人员使用的，使用它来建模系统很困难。
All languages have two general levels of usage—a formal level and an informal level.
所有语言都有两种基本的用法——正式用法和通俗用法。
In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages.
在许多方面，使用这些形式方法会采用传统OOP语言中的许多原理(和限制)。
Because graphical languages still must provide symbols to the computer for compilation or interpretation, graphical specifications are still be required to follow formal language parameters.
由于图形化语言仍然必须向计算机提供符号来进行编译和解释，因此我们需要采用图形化规范来限定形式语言的参数。
Much of our current exposure to formal specification comes with our use of languages, like the Object Constraint language (OCL), to provide rigor to our specifications and UML diagrams. 4.
目前我们的正式规范方式和我们使用的语言，如对象约束语言(ocl)，提供了的关于规范和UML图的严格要求。
The expressive power of XQuery is comparable to the criterion of "relational completeness" defined for database query languages, though no such formal standard has been defined for an XML data model.
XQuery的表达能力可以与为数据库查询语言定义的“关系完整性”标准相比，虽然还没有为XML数据模型定义这样的正式标准。
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.
那些你在自然语言里边可以忽略的非常小的东西，像是拼写错误或错误的标点，在形式语言里边会有十分不同的影响。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
This transformation grammar can be used to describe the formal transformation between programming languages.
使用这种转换文法，可以描述程序语言之间的形式转换。
Small errors in spelling and punctuation, which you can get away with in natural languages, can make a big difference in a formal language.
拼写和符号的小错误对于自然语言来说没什么，但对公式语言来说就能带来大问题。
He was a formidable polymath, doing important work in mathematics, physics, logic, the study of formal and natural languages, and many other disciplines.
他是一个强大的博学，做数学，物理学，逻辑学的重要工作，正式和自然语言的研究，以及许多其他学科。
The type system is a formal method and tool for designing and studying programming languages.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。
Generally speaking, artistic languages more often than not surpass formal logic and stick to its special law.
艺术语言往往突破形式逻辑的规律而有自身特殊的规律。
Slang, as a link between formal and informal language, is a linguistic phenomenon Shared by all the languages in the world.
青年俚语作为正式和非正式用语之间的一种纽带，是世界上语言共存的现象。
Slang, as a link between formal and informal language, is a linguistic phenomenon Shared by all the languages in the world.
青年俚语作为正式和非正式用语之间的一种纽带，是世界上语言共存的现象。
应用推荐