查询词典 halting

Said gaga , halting before a gate at the corner of the park wall abutting on the highroad

加加说着，她停在一道铁栅栏门前，这道门朝着大路，在花园的一个拐角上。

He made no reply to this adjuration; only plodding doggedly down the wooden steps and halting before an apartment which from that halt and the superior quality of its furniture I conjectured to be the best one.

他对于这个恳求没有答理，只是固执地、沉重缓慢地走下木梯，在一间屋子的门口停下来。从他那停步不前和屋里家具的上等质料看来，我猜这是最好的一间了。

Rather than always iterating over an arithmetic progression of numbers, or giving the user the ability to dene both the iteration step and halting condition, Python's for statement iterates over the items of any sequence, in the order that they appear in the sequence.

通常的循环可能会依据一个等差数值步进过程或由用户来定义迭代步骤和中止条件，Python 的for 语句依据任意序列中的子项，按它们在序列中的顺序来进行迭代。

Rather than always iterating over an arithmetic progression of numbers, or giving the user the ability to define both the iteration step and halting condition, Python's for statement iterates over the items of any sequence, in the order that they appear in the sequence.

通常的循环可能会依据一个等差数值步进过程或由用户来定义迭代步骤和中止条件，Python 的 for 语句依据任意序列中的子项，按它们在序列中的顺序来进行迭代。

One potentially cheap and self-sustaining method of halting the spread of bracken is to introduce natural enemies of the plant.

一种廉价的能终止欧洲蕨蔓延且能自我维持的潜在方法就是引进该植物的天敌。

Feed it thoughts of health and vigor and your whole system will reflect energy and vitality. Feed it thoughts of decrepitude and age, and you will find it slowing down to the halting pace you set for it.

如果提供的是健康积极向上的想法，那么整个系统就会充满活力和能量；如果提供的是衰老、年迈的想法，那你就会发现这台车一路颠簸、逐渐慢下来，停在你自己设定的终点上。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

This process will continue to be halting and episodic, depending on political pressures.

这一进程将依然是跌跌撞撞、断断续续的，这取决于政治压力。

With this in mind, it is safe to make halting an attribute on a rule.

考虑到这一点，是安全作出停止对规则的属性。

The paper introduces several important notions such as uncountability and halting problem firstly,the fact is proved by contradiction that halting problem is impossible problem,and the same to other relative issues in computer is proved by reduction.

本文先介绍了不可数性和停机问题等重要概念，用反证法证明了停机问题是不可解的，并使用归约法对计算机中的相关问题的不可解性进行了证明。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。