TOC 中的 Church-Turing 论文是什么？
Church-Turing论文说，每个可解决的决策问题都可以转化为等效的图灵机问题。
它可以通过两种方式解释，如下所示-
用于决策问题的Church-Turing论文。
用于决策问题的扩展Church-Turing论文。
让我们了解这两种方式。
关于决策问题的Church-Turing论文
当且仅当存在停止所有输入字符串并解决问题的图灵机时，有一些有效的程序可以解决任何决策问题。
用于决策问题的扩展Church-Turing论文
一个决策问题Q被称为部分可解当且仅当有一台图灵机准确地接受Q的元素，其答案是肯定的。
证明
Church-Turing论文的证明是建立决策算法存在性时经常采用的捷径。
对于任何决策问题，与其构建图灵机解决方案，不如让我们描述一个解决问题的有效程序。
Church-Turing论文解释了决策问题Q有一个解决方案，当且仅当存在确定每个qϵQ的答案的图灵机。如果不存在这样的图灵机，则称该问题是不可判定的。
热门推荐
10 儿子立冬祝福语简短独特
11 对当兵的祝福语简短
12 侄儿高考试祝福语简短
13 伴郎红包祝福语朋友简短
14 媳妇生日简短祝福语朋友
15 公司年会祝福语简短最好
16 元旦感恩祝福语简短大全
17 红包祝福语简短10字
18 周六早晨祝福语简短