弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
停机问题是逻辑学的焦点，也是第三次数学危机的解决方案。其本质问题是: 给定一个图灵机 T，和一个任意语言集合 S, 是否 T 会最终停机于每一个s∈S。其意义相同于可确定语言。显然任意有限 S 是可判定性的，可列的(countable) S 也是可停机的。
【停的意思】：停 tíng（ㄊ一ㄥˊ） （一）、止住，中止不动：停止。停产。停学。停职。停顿。停刊。停战。停业。停 详情>
【机的意思】：机（機） jī（ㄐ一） （一）、事物发生的枢纽：生机。危机。转（ zhuǎn ）机。契机。（二）、对 详情>
【问的意思】：问（問） wèn（ㄨㄣˋ） （一）、有不知道或不明白的事请人解答：询问。问答。问题。问鼎（指图谋夺取 详情>
【题的意思】：题（題） tí（ㄊ一ˊ） （一）、写作或讲演内容的总名目：题目。主题。话题。题材。题旨。（二）、练习 详情>
