【halting_problem】什么意思_英语halting_problem的翻译_音标_读音_用法_例句_在线翻译

halting problem

[计] 停机问题

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

基于2869个网页-相关网页

停止问题

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

基于36个网页-相关网页

短语

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

更多收起网络短语

计算机科学技术

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

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

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

更多双语例句

It promises to assist with halting copyright infringement which is a huge problem for the movie industry.

BBC: US pirate hunters target movies

应用推荐

$firstVoiceSent

- 来自原声例句