halting problem的意思

halting problem中文翻譯：

[計]停機問題

相似詞語短語

hamstring problem───腿筋問題

growing problem───日益嚴重的問題

health problem───健康問題

main problem───主要問題

vexing problem───惱人的問題

teething problems───暫時性的問題；創業階段的困難；初期的困難；初期問題

drinking problem───飲酒問題

pressing problem───亟需解決的問題；緊迫的問題

big problem───大問題

雙語使用場景

However, all such computational systems are subject to a limitation known as the Halting problem.───然而，所有這些計算系統受到的停機問題已知的限制。

The company responded by halting sales of seized homes in the 23 states where court approval is required to foreclose while it gets to the bottom of its "robo-signing" problem.───該公司(不是這些公司)對法拍門的回應是立即在法拍需要法庭核準的23個州里停止對回收樓宇的拍賣，并與此同時，深入調查該公司“自動審批”收樓案件的底細。

To try to verify dynamic code at compile time would likely walk you straight into the halting problem just like it would for many kinds of tooling.───試圖在編譯階段驗證動態代碼會使你陷入停機問題的漩渦。

It turns out that proving programs correct is equivalent to solving the Halting Problem.───證明程序是正確的等價于解決停機問題。

The first area is represented by the "Halting Problem" in computer science.───第一個領域的代表是計算機科學中的“停機問題”。

Alan Turing proved in 1936 that a general algorithm to solve the Halting Problem for all possible inputs cannot exist.───AlanTuring在1936年證明了對所有可能輸入解決停機問題的通用算法是不存在的。

We say that the Halting Problem is───我們說停機問題在圖靈機上是

英語使用場景

In a similar way it is possible to phrase many other unsolved mathematical problems in terms of the Turing machine halting problem.

However, all such computational systems are subject to a limitation known as the Halting problem.

To try to verify dynamic code at compile time would likely walk you straight into the halting problem just like it would for many kinds of tooling.

In fact, the above argument is essentially a proof that the halting problem, as it is termed, cannot be solved in the general case.