文络智义词库

2026-07-13 20:31:07

停机问题

tíng jī wèn tí · ㄊㄧㄥˊ ㄐㄧ ㄨㄣˋ ㄊㄧˊ

字母
ting ji wen ti
首字母
tjwt
注音符号
ㄊㄧㄥ ㄐㄧ ㄨㄣ ㄊㄧ
注音首符
ㄊㄐㄨㄊ

停机问题是逻辑学的焦点,也是第三次数学危机的解决方案。其本质问题是: 给定一个图灵机 T,和一个任意语言集合 S, 是否 T 会最终停机于每一个s∈S。其意义相同于可确定语言。显然任意有限 S 是可判定性的,可列的(countable) S 也是可停机的。

拆字

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

热门组词

链接