请输入您要查询的英文单词:

 

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

    [计]?停机问题

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

  • 2

    ?停止问题

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

短语
  • 双语例句
  • 1
    However, all such computational systems are subject to a limitation known as the Halting problem.
    然而,所有这些计算系统受到的停机问题已知的限制。
  • 2
    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.
    试图在编译阶段验证动态代码会使你陷入停机问题的漩涡。
  • 3
    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个州里停止对回收楼宇的拍卖,并与此同时,深入调查该公司“自动审批”收楼案件的底细。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/4 7:19:29