halting problem
停机问题：计算机科学中的一个著名问题，用于判断一个程序是否会在有限时间内停止运行。这个问题被证明是无法解决的，因为没有一个通用算法可以预测所有程序的运行结果。
halting problem网络翻译
...停机问题（halting problem）是逻辑数学中可计算性理论的一个问题。通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
停止问题这个所谓 停止问题 （ halting problem ）的不可解性（unsolvability，即不可由机械来判定）的事实，是涂林的第三项重大的创见。
halting problem常用短语
1. abrupt halting problem：非正常停机
2. halting problem of turing machines：图灵机的停机问题
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.
试图在编译阶段验证动态代码会使你陷入停机问题的漩涡。
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个州里停止对回收楼宇的拍卖，并与此同时，深入调查该公司“自动审批”收楼案件的底细。
相关单词
- purchasingn. 购买，采购 adj. 购买的，采购的 v. <正式>购买，采购；<古>（努力或艰难地）获得，得到；（航海）（用滑轮或杠杆）升起，举起（绳，索，锚）（purchase 的现在分词）
- purchasern. 买方；购买者
- publishingn. 出版；出版业 adj. 出版的；出版业的 v. 出版；发行（publish 的现在分词形式）；发表
- publishern. 出版者，出版商；发行人
- psycology
- protractorn. 伸肌；分度器；伤处异物摘出器
- protectionismn. 保护主义，贸易保护主义；贸易保护制度
- proletariatn. 无产阶级，工人阶级；最下层阶级
- proletariann. 无产阶级分子；无产者 adj. 无产阶级的；无产者的
- programmern. （计）程序设计员；编程器
- producingv. （用部件或原材料）生产；出产；生育；创作；引起；出示；制作（电影、戏剧等）；监制（音乐磁带）；（使）线段延长（produce 的现在分词）
- prizegivingn. 分配奖品
- private sector私营单位
- printingn. 印刷（术）；（书的）一次印刷；印刷字体 v. 打印，印刷；（在报纸、杂志上）刊印，刊登；洗印，冲洗（照片）（print 的现在分词形式）
- playwrightn. 剧作家