你
请解释一下「停机问题」这个词的含义。
助手
停机问题
tíng jī wèn tí · ㄊㄧㄥˊ ㄐㄧ ㄨㄣˋ ㄊㄧˊ
ting ji wen ti
tjwt
ㄊㄧㄥ ㄐㄧ ㄨㄣ ㄊㄧ
2026-07-10 15:56:33
扩展释义
停机问题是逻辑学的焦点，也是第三次数学危机的解决方案。其本质问题是: 给定一个图灵机 T，和一个任意语言集合 S, 是否 T 会最终停机于每一个s∈S。其意义相同于可确定语言。显然任意有限 S 是可判定性的，可列的(countable) S 也是可停机的。