在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

halting problem

查词链接:https://www.dute.org/dict/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.

网络释义
停机问题
...停机问题(halting problem)是逻辑数学中可计算性理论的一个问题。通俗的说,停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
停止问题
这个所谓 停止问题 ( halting problem )的不可解性(unsolvability,即不可由机械来判定)的事实,是涂林的第三项重大的创见。
常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...