halting problem

英 美
  • 停机问题
  • halting adj.跛的;踌躇的动词halt的现在分词形式.
  • problem n.问题;难题;习题adj.成问题的;难对付的
    1. It turns out that proving programs correct is equivalent to solving the Halting Problem.
      证明程序是正确的等价于解决停机问题。