停机问题

音义

广训

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

组词

停 机 问 题

相关

• 东新园小区
• 二次颗粒物
• 农科村
• 冯文清
• 出奇用诈
• 刘国祥
• 刘福成
• 医理
• 失踪人
• 奥马尔
• 大败
• 大器晚成
• 广告企划
• 强调结构
• 德基氏歧须鮠
• 才高意广
• 新媳妇儿
• 杜春梅
• 曹永廉
• 橱柜门板
• 死刑
• 涂胜桥
• 炒白术
• 爱需要等待
• 牵引理论
• 田永红
• 画论
• 竞技馆
• 紫青藤
• 蔡洋洋
• 行动
• 负极片
• 金家翔
• 金笺奏曲
• 骨旁骨肉瘤
• 高仁甫
• 动画工场
• 褐麂羚
• 花嫁研习社
• 香菇木耳肉丝
• 特拉斯奇
• 大医习业
• 鸟爪拟帽贝
• 燕麦拟捻螺
• 鄂城碘泡虫
• 伏翼指名亚种
• 化癖膏
• 胶粉散
• 柯清辉
• 中国环境卫生