停机问题
的有关信息介绍如下：
停机问题是逻辑学的焦点，也是第三次数学危机的解决方案。其本质问题是: 给定一个图灵机 T，和一个任意语言集合 S, 是否 T 会最终停机于每一个s∈S。其意义相同于可确定语言。显然任意有限 S 是可判定性的，可列的(countable) S 也是可停机的。
想要了解更多“停机问题”的信息，请点击：停机问题百科
版权声明：文章由 酷唯二 整理收集，来源于互联网或者用户投稿，如有侵权，请联系我们，我们会立即处理。如转载请保留本文链接：https://www.kuwei2.com/answer/62055.html
