halting problem 中文意思是什麼
halting problem
解釋
停機問題-
We say that the halting problem is
我們說停機問題在圖靈機上是 -
Alan turing proved in 1936 that a general algorithm to solve the halting problem for all possible inputs cannot exist
Alan turing在1936年證明了對所有可能輸入解決停機問題的通用演算法是不存在的。 -
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
證明程序是正確的等價于解決停機問題。 -
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上的數據和代碼就好象停機問題,因此完全的靜態翻譯是不可能的。 -
The force continued its stringent efforts to combat psychotropic substance trafficking and abuse, registering considerable success in halting the previously escalating problem
警隊繼續不遺餘力,打擊販賣及濫用精神藥物的罪行,有效遏止問題惡化。
分享友人