...停机问题(halting problem)是逻辑数学中可计算性理论的一个问题。通俗的说,停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
基于2869个网页-相关网页
the halting problem 停止问题
halting problem of Turing machine 杜林机停机问题 ; 图灵机停机问题
halting problem of flowchart schema 流程图纲目停机问题 ; [计] 框图模式停机问题
abrupt halting problem 非正常停机
halting problem of turing machines 图灵机的停机问题
以上来源于: WordNet
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.
试图在编译阶段验证动态代码会使你陷入停机问题的漩涡。
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个州里停止对回收楼宇的拍卖,并与此同时,深入调查该公司“自动审批”收楼案件的底细。
应用推荐