| The alternative is that it runs forever without halting. | Альтернативой этому является то, что она работает всё время без остановки. |
| The definition of a halting probability relies on the existence of a prefix-free universal computable function. | Определение вероятности остановки основывается на существовании префиксных универсальных вычислимых функций. |
| A halting probability can be interpreted as the measure of a certain subset of Cantor space under the usual probability measure on Cantor space. | Вероятность остановки можно интерпретировать как меру определённого подмножества Канторова пространства при обычной вероятностной мере на Канторовом пространстве. |
| Since the halting problem is undecidable, Ω cannot be computed. | Так как проблема остановки неразрешима, то Ω не может быть вычислено. |
| It is from this interpretation that halting probabilities take their name. | Именно из этой интерпретации возникло название вероятностей остановки. |
| The key element for halting both vertical and horizontal proliferation remains the speedy conclusion of a multilateral treaty totally banning nuclear tests in all environments. | Ключевым элементом остановки как вертикального, так и горизонтального распространения по-прежнему является скорейшее заключение многостороннего договора, полностью запрещающего ядерные испытания во всех средах. |
| That project was terminated after the SBB stated that it would insert two halting points into its standard gauge line. | Этот проект был прекращен после того, как SBB заявил, что вставит две остановки в своей дороге стандартной колеи. |
| It is these national and regional security problems that need to be addressed by the international community as a means of halting an arms build-up in various parts of the world. | Именно эти национальные региональные проблемы в области безопасности должны быть рассмотрены международным сообществом в качестве средства остановки гонки вооружений в различных частях мира. |
| It is desirable to include facilities for halting the reaction (injection of ice, flooding, inhibitor, etc.). | Желательно предусмотреть системы остановки реакции (введение льда, затопление, использование замедлителей химической реакции и т.д.). |
| The treaty should not only be about halting the production, but more importantly, about reducing stockpiles to address the issue of asymmetries. | Договор должен касаться не только остановки производства, но и, что еще важнее, сокращения запасов, с тем чтобы уладить проблему асимметрий. |
| Second, by translating Pyongyang's pledge of nuclear abandonment into substantive action, the 13 February agreement lays the foundation for halting additional production of nuclear materials by the DPRK. | Во-вторых, переводя обещание Пхеньяна отказаться от ядерной альтернативы в русло предметных действий, соглашение от 13 февраля закладывает основы для остановки дополнительного производства ядерных материалов со стороны КНДР. |
| The proof of this fact relies on an algorithm which, given the first n digits of Ω, solves Turing's halting problem for programs of length up to n. | Доказательство данного факта основывается на алгоритме, который для данных первых n чисел решает проблему остановки программ длиной до n бит. |
| Although there are infinitely many halting probabilities, one for each method of encoding programs, it is common to use the letter Ω to refer to them as if there were only one. | Хотя существует бесконечное множество вероятностей остановки, обычно используют букву Ω для обозначения их всех, как если бы существовало только одно такое число. |
| In this way, ΩF represents the probability that a randomly selected infinite sequence of 0s and 1s begins with a bit string (of some finite length) that is in the domain of F. It is for this reason that ΩF is called a halting probability. | Таким образом, ΩF представляет вероятность того, что случайно выбранная бесконечная последовательность нулей и единиц начинается со строки битов (некоторой конечной длины), которая принадлежит области определения F. Именно по этой причине ΩF называется вероятностью остановки. |
| He went on to prove that there was no solution to the Entscheidungsproblem by first showing that the halting problem for Turing machines is undecidable: in general, it is not possible to decide algorithmically whether a given Turing machine will ever halt. | Далее Тьюринг показал, что не существует решения Entscheidungsproblem, сперва доказав, что Проблема остановки для машины Тьюринга неразрешима: в общем случае невозможно алгоритмически определить, остановится ли когда-нибудь данная машина Тьюринга. |
| In the event of failure in any part of the transmission of a braking system, the feed to the part not affected by the failure must continue to be ensured if required for the purpose of halting the vehicle with the degree of effectiveness prescribed for secondary braking. | 5.2.4.1 В случае повреждения какой-либо части привода тормозной системы должно по-прежнему обеспечиваться питание той ее части, которая не вышла из строя, если это необходимо для остановки транспортного средства с эффективностью, предписанной для аварийного торможения. |
| (a) To inflict damage on a vehicle for the purpose of halting it if the driver refuses to obey the instructions of officers of the Internal Affairs Organs and endangers the health and life of citizens; | а) для остановки транспортных средств путем их повреждения, если водитель не подчиняется требованиям сотрудников органов внутренних дел и ставит под угрозу жизнь и здоровье граждан; |
| No halting probability is computable. | Никакая вероятность остановки не является вычислимой. |
| However, a general-purpose algorithm for identifying infeasible paths has been proven to be impossible (such an algorithm could be used to solve the halting problem). | Не существует универсального алгоритма, который решал бы проблему недостижимых путей (этот алгоритм можно было бы использовать для решения проблемы остановки). |
| With regard to the halting of patrols at checkpoints, it was recognized that responsibility sometimes lies with Mission personnel who too easily turn back rather than assertively insisting on proceeding. | Что касается остановки патрулей на контрольно-пропускных пунктах, то в этой связи было признано, что здесь порой бывают виноваты и сотрудники Миссии, которые не проявляют должной настойчивости и слишком охотно поворачивают назад. |
| In the computer science subfield of algorithmic information theory, a Chaitin constant (Chaitin omega number) or halting probability is a real number that, informally speaking, represents the probability that a randomly constructed program will halt. | В разделе информатики - алгоритмической теории информации, константа Хайтина или вероятность остановки - вещественное число, которое, неформально говоря, является вероятностью того, что произвольно выбранная программа остановится. |
| They are not permitted to abandon, suspend or obstruct the work with a view to disrupting order or halting or impeding production, nor are they permitted to incite other workers to do so. | Им не разрешается прекращать, приостанавливать или затруднять работу в целях нарушения порядка или остановки и задержки производственного процесса, а также подстрекать других работников к таким действиям. |
| Not every set that is Turing equivalent to the halting problem is a halting probability. | Не каждое множество, имеющее ту же степень неразрешимости по Тьюрингу, что и проблема остановки, является вероятностью остановки. |
| This result preceded Alan Turing's work on the halting problem, which also demonstrated the existence of a problem unsolvable by mechanical means. | Эта статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами. |
| All in all, Greenspan served the United States and the world well through his stewardship of monetary policy, especially by what he did not do: trying to stop stock and housing speculation by halting the economy in its tracks. | В общем, Гринспен сослужил хорошую службу США и миру за время своего управления финансовой политикой, особенно тем, что он не сделал: не попытался остановить спекуляцию на рынке ценных бумаг и жилья ценой остановки экономики на ее пути. |