Syntactically speaking, these are the most basic elements of the formal language<math>\mathcal{L},</math> otherwise referred to as''atomic formulas'' or''terminal elements''.
可作为选择的,你可把最初的陈述解释为在这种形式语言中的陈述;它只是在结束处生成的陈述的简写。
Alternatively, one may interpret the original statement as a statement in such a formal language; it was merely an abbreviation for the statement produced at the end.
Syntactically speaking, these are the most basic elements of the formal language L{\displaystyle{\mathcal{L}}}, otherwise referred to as atomic formulas or terminal elements.
所有编程语言都是形式语言。
All programming languages are formal languages.
所有的编程语言都是形式语言。
All programming languages are formal languages.
形式语言有严格的语法(Syntax)规则。
Formal languages have strict rules about syntax.
形式语言则很少有冗余并且更加简明。
Formal languages are less redundant and more concise.
一阶逻辑是形式语言的一个例子。
First-order logic is an example of a formal language.
这里是一些有关阅读程序(包括其他形式语言)的建议。
Here are some suggestions for reading programs(and other formal languages).
一个习惯说自然语言的人,往往很难适应形式语言。
People who grow up speaking a natural languageeveryoneoften have a hard time adjusting to formal languages.
形式语言(formallanguage)是由人们为特定应用设计的语言。
Formal languages are languages designed by people for specific applications.
它们将共享相同的形式语言,但会在颜色和材质上有所区别。
These will share the same form language, but will be differentiated by colour and material.
书的完整标题把它标识为《模仿算术的纯思维的形式语言》。
The full title of the book identifies it as"a Formula Language, modelled on that of Arithmetic, of pure Thought.".
首先,形式语言比自然语言难以理解得多,需要花费更长时间来阅读。
Formal languages are more dense than natural languages, so it takes longer to read them.
形式语言要比自然语言更加稠密,因此阅读起来花的时间会更长。
Remember that formal languages are much more dense than natural languages, so it takes longer to read them.
中文
Bahasa indonesia
日本語
عربى
Български
বাংলা
Český
Dansk
Deutsch
Ελληνικά
Español
Suomi
Français
עִברִית
हिंदी
Hrvatski
Magyar
Italiano
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Nederlands
Norsk
Polski
Português
Română
Русский
Slovenský
Slovenski
Српски
Svenska
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt