halting problem 中文意思是什麼

halting problem 解釋
停機問題
  • halting : adj. 跛的。adv. -ly ,-ness n. adj. 躊躇的;不完整的。 speak in a halting way 說話吞吞吐吐。
  • problem : n. 1. 問題,課題;疑難問題;令人困惑的情況。2. 【數、物】習題;作圖題。3. (象棋的)布局問題。adj. 1. 成問題的;難處理的。2. 關于社會問題的。
  1. We say that the halting problem is

    我們說停機問題在圖靈機上是
  2. Alan turing proved in 1936 that a general algorithm to solve the halting problem for all possible inputs cannot exist

    Alan turing在1936年證明了對所有可能輸入解決停機問題的通用演算法是不存在的。
  3. The first area is represented by the " halting problem " in computer science

    第一個領域的代表是計算機科學中的「停機問題」 。
  4. It turns out that proving programs correct is equivalent to solving the halting problem

    證明程序是正確的等價于解決停機問題。
  5. 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上的數據和代碼就好象停機問題,因此完全的靜態翻譯是不可能的。
  6. The force continued its stringent efforts to combat psychotropic substance trafficking and abuse, registering considerable success in halting the previously escalating problem

    警隊繼續不遺餘力,打擊販賣及濫用精神藥物的罪行,有效遏止問題惡化。
分享友人