查询词典 formal language

When we think of language, often the only option is the more formal language, especially written language.

当我们想到语言时，往往只想到比较正式的语言，特别是书面的语言。

The main difference between the parser of natural language and formal language is the uncertainty of natural language.

自然语言的句法分析不同于程序设计语言的句法分析，主要在于自然语言的不确定性。

Formal language is different from informal language in several ways.

正式用语和非正式用语在一些方面是有差别的。

In order to guarantee the correction of the design of system, it needs to specify and verify it rigidly. The formal description and verification by use of LOTOS (language of temporal ordering specification) and ACTL are given out in this paper. These allow people to study, evaluate and define the dynamic behavior of current user interfaces.

为了保证系统设计的正确性，文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义。

In order to liberate philosophy from the occupied Psychologism at that time, Frege founded artificial formal language and regularized ordinary language.

为了把哲学从当时占据统治地位的心理主义中解放出来，弗雷格创立了这种人工的形式语言，对日常语言具有的缺陷进行了诸多规范。

That is to say, we would have nothing more meaningful than an uninterpreted formal language, formal rules of inference, and a subset of the set of well-formed formulas as axioms.

也就是说，我们持有的有意义语言甚至超不过一个尚未解释的形式语言、形式推理规则和作为公理的合式公式子集。

The relationship between formal language made by themselves and appreciating taste is essentially unitive in language and spirit.

相应的文化高度，将自创的形式语言与审美规律相对应，在本质上是艺术语言与精神内在的统一。

Shyr and Yu give two thoughts of formal language: every dense regular language contains imprimitive words, and also contains primitive words.

Shyr和Yu提出了关于正规语言的两个猜想：每个稠密正规语言含有非本原字；每个稠密正规语言中也含有本原字。

Formal language, so they are not formal valid. The interpretational account of validity can explain

有些实质有效论证找不到形式语言中与它们对应的有效论证型，所以不是形式有效

Metaphysics is exiled by formal language in Tractates Logicophilosophicus as by normal language in Philosophical Investigations.

则这本书的价值，就在于它表明当这些问题已经解决时，所作的事情是多么少[1]。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。