停机问题的英文

• halting problem

• "停机"英文翻译    halt; closing down; machine ...
• "问题"英文翻译    question; problem
• "框图模式停机问题" 英文翻译 :    halting problem of flowchart schema
• "图灵机停机问题" 英文翻译 :    halting problem of turing machine
• "计算机问题" 英文翻译 :    computerproblem
• "人机问题" 英文翻译 :    man-machine problem
• "随机问题" 英文翻译 :    stochastic problem
• "人机问题求解" 英文翻译 :    man machine problem solving
• "线性界限自动机问题" 英文翻译 :    lba problem
• "停机" 英文翻译 :    [自动化] halt; closing down; machine halt; stop calculation
• "内罗毕二委员会大湖区危机问题首脑会议" 英文翻译 :    summit of the nairobi ii committee on the crisis in the great lakes region
• "飞机问答机" 英文翻译 :    rooster
• "开机问候语" 英文翻译 :    welcome note
• "联机问答系统" 英文翻译 :    on-line question and answer system
• "调停机" 英文翻译 :    arbiter
• "全停机" 英文翻译 :    dead halt
• "停机，中止" 英文翻译 :    halt
• "停机场" 英文翻译 :    aprk; hardstand; lapangan parkir pesawat
• "停机的" 英文翻译 :    idle
• "停机点" 英文翻译 :    break point
• "停机阀" 英文翻译 :    shutdown valve
• "停机钩" 英文翻译 :    arrester hook; arresting hook
• "停机号" 英文翻译 :    halt number
• "停机痕" 英文翻译 :    machine stomark; stomark
• "停机键" 英文翻译 :    break key; off switch; stop key

• We say that the halting problem is
  我们说停机问题在图灵机上是
• The first area is represented by the " halting problem " in computer science
  第一个领域的代表是计算机科学中的“停机问题” 。
• It turns out that proving programs correct is equivalent to solving the halting problem
  证明程序是正确的等价于解决停机问题。
• Alan turing proved in 1936 that a general algorithm to solve the halting problem for all possible inputs cannot exist
  Alan turing在1936年证明了对所有可能输入解决停机问题的通用算法是不存在的。
• From a theoretical point of view , the separation of data and code in von neumann machines is equivalent to the halting problem ; hence , a complete static translation is not possible
  从理论上说，分离von neumann上的数据和代码就好象停机问题，因此完全的静态翻译是不可能的。

• 停机问题的泰文
• 停机问题的法语：Problème de l'arrêt
• 停机问题的日语：停止性問題
• 停机问题的韩语：정지 문제
• 停机问题的俄语：Проблема остановки
• 停机问题的阿拉伯语：مسألة توقف;