halting problem

常見例句

However, all such computational systems are subject to a limitation known as the Halting problem.
然而，所有這些計(jì)算系統(tǒng)受到的停機(jī)問題已知的限制。
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.
試圖在編譯階段驗(yàn)證動(dòng)態(tài)代碼會(huì)使你陷入停機(jī)問題的漩渦。
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.
該公司（不是這些公司）對(duì)法拍門的回應(yīng)是立即在法拍需要法庭核準(zhǔn)的23個(gè)州里停止對(duì)回收樓宇的拍賣，并與此同時(shí)，深入調(diào)查該公司“自動(dòng)審批”收樓案件的底細(xì)。