) ;
之前讲的 都是 算法 ( Algorithm ) 范畴的 ;
同时 希尔伯特纲领 中 , 也要求了判定算法 , 希望存在一个算法 , 帮助判定任何一个数学命题的真假 ;
参考博客 : 【计算理论...】图灵机 ( 图灵机引入 | 公理化 | 希尔伯特纲领 | 哥德尔不完备定理 | 原始递归函数 )
三、图灵机语言
----
给定一个字符串 , 将字符串写在带子上 , 让图灵机从开始状态 , 开始位置进行计算...,
如果在计算过程中的 某个时刻 , 图灵机进入接受状态 , 那么称 该图灵机是接受这个字符串的 ;
将图灵机
\rm M
所 接受的所有字符串
\rm w
都放在一起 , 组成一个 集合...;
四、图灵机结果
----
图灵机在 字符串
\rm w
上进行计算 , 可能有
3
种不同的结果 :
① 图灵机进入 接受状态 , 接受该字符串
② 图灵机进入 拒绝状态 , 不接受该字符串..., 该 特殊图灵机 在所有的字符串上 , 都会停机 , 任意给一个字符串 , 图灵机在该字符串上进行计算 , 要么进入接受状态 , 要么进入拒绝状态 ;
这种特殊的图灵机 , 被称为 “判定机” ;
五