go top

halting problem

  • 停机问题:计算机科学中的一个著名问题,用于判断一个程序是否会在有限时间内停止运行。这个问题被证明是无法解决的,因为没有一个通用算法可以预测所有程序的运行结果。

网络释义专业释义英英释义

  [计] 停机问题

...停机问题halting problem)是逻辑数学中可计算性理论的一个问题。通俗的说,停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。

基于2869个网页-相关网页

  停止问题

这个所谓 停止问题halting problem )的不可解性(unsolvability,即不可由机械来判定)的事实,是涂林的第三项重大的创见。

基于36个网页-相关网页

短语

the halting problem 停止问题

halting problem of Turing machine 杜林机停机问题 ; 图灵机停机问题

halting problem of flowchart schema 流程图纲目停机问题 ; [计] 框图模式停机问题

abrupt halting problem 非正常停机

halting problem of turing machines 图灵机的停机问题

 更多收起网络短语
  • 停机问题
    停止问题
    自动机停机问题

·2,447,543篇论文数据,部分数据来源于NoteExpress

Halting problem

  • abstract: In computability theory, the halting problem can be stated as follows: "Given a description of an arbitrary computer program, decide whether the program finishes running or continues to run forever". This is equivalent to the problem of deciding, given a program and an input, whether the program will eventually halt when run with that input, or will run forever.

以上来源于: WordNet

双语例句权威例句

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

    然而所有这些计算系统受到停机问题已知限制

    youdao

  • 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.

    试图编译阶段验证动态代码使陷入停机问题漩涡。

    youdao

  • 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个州里停止回收楼宇拍卖,并与此同时,深入调查公司“自动审批”收楼案件的底细

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定