halting
Esempi
Then there must be no halting or delay, no slow or languid movements; all must be brisk, and lively, and alert.
Тогда не должно быть никаких остановок или задержек, никаких медленных или вялых движений; все должны быть проворны, живы и внимательны.
Our next halting-place is Laigle on the Rille, the Rille that runs out to flow by Brionne and the Bec of Herlouin.
Следующая наша остановка — Лэгль на Риле, той самой Риле, которая течёт дальше мимо Брионна и Бек-Эрлуэна.
Along the line of railway, at distances of about 100 or 125 miles, stations were to be selected which would serve as halting-places for the feeding of troops
Вдоль железной дороги, примерно через каждые сто или сто двадцать пять миль, следовало выбирать станции для остановок и питания войск.
He murmured a few halting words, rolled his eyes and expired.
Он пробормотал несколько отрывистых слов, закатил глаза и скончался.
In contrast to Ibsen and his magisterial entry into the British theatrical tradition Strindberg’s arrival has therefore been halting and slow.
Поэтому, в отличие от Ибсена с его величественным вхождением в британскую театральную традицию, появление Стриндберга было медленным и неуверенным.
Criticizing and understanding the limitations of current generative AI systems does not mean halting research and technological development in this field.
Критика и понимание ограничений современных систем генеративного ИИ не означают прекращения исследований и технологических разработок в этой области.
One study in Taiwan found that halting pesticide use, along with habitat management, increased a population of frogs.
Одно исследование на Тайване показало, что отказ от применения пестицидов вместе с мерами по управлению средой обитания увеличил популяцию лягушек.
Thereby the standard method is a reduction from some form of recursion theoretic incompleteness (in particular, the halting problem) into some physical entity or decision problem.
При этом стандартный метод состоит в сведении некоторой формы неполноты из теории рекурсии (в частности, проблемы остановки) к некоторому физическому объекту или задаче разрешения.
any type of unsolvability derivable for universal computers such as the unsolvability of the halting problem
любая неразрешимость, которую можно вывести для универсальных компьютеров, например неразрешимость проблемы остановки
The scheme of the proof by contradiction is as follows: the existence of a hypothetical halting algorithm capable of solving universal prediction will be assumed.
Схема доказательства от противного такова: предполагается существование гипотетического алгоритма остановки, способного решать задачу универсального предсказания.
Alternatively, if the hypothetical halting algorithm decides that the input program does not halt, the diagonalization program will halt immediately.
С другой стороны, если гипотетический алгоритм остановки решит, что входная программа не останавливается, программа диагонализации немедленно остановится.
quantum information could be in a fifty-fifty fixed-point halting state.
квантовая информация могла бы находиться в состоянии остановки типа «пятьдесят на пятьдесят», являющемся неподвижной точкой.
Many programs of length n bits will have halted long before the maximal halting time.
Многие программы длиной n бит остановятся задолго до достижения максимального времени остановки.
Hence, because of the recursive unsolvability of the halting problem the maximal halting time cannot be a computable function.
Следовательно, из-за рекурсивной неразрешимости проблемы остановки максимальное время остановки не может быть вычислимой функцией.
the halting probability for a computer (using prefix-free code), which can be defined by a sequence of rational numbers with no computable rate of convergence.
вероятность остановки компьютера (использующего префиксный код), которую можно задать последовательностью рациональных чисел без вычислимой скорости сходимости.
By reduction to the halting problem it can be argued that the algorithmic information content I in general is incomputable.
Сведением к проблеме остановки можно обосновать, что алгоритмическая информативность I в общем случае невычислима.
Rice’s theorem can be algorithmically proven by reduction to the halting problem:
Теорему Райса можно алгоритмически доказать посредством сведения к проблеме остановки:
the Goldbach conjecture (“every even number greater than 2 can be represented as the sum of two primes”) can be rephrased as a halting problem
гипотезу Гольдбаха («каждое чётное число больше 2 можно представить как сумму двух простых чисел») можно переформулировать как проблему остановки