【资料图】

1、由于图灵机带向右限延伸所图灵机存储空间计算间都限制增加图灵机般算概念精确化即任何算均由适图灵机模拟尚未发现直观计算函数能由图灵机计算且已关于直观计算函数另些精确化定义递归函数、λ 定义函数等都等价于图灵机定义计算函数 通用图灵机 已经证明存图灵机U,模拟任何其图灵机T,U称通用图灵机U带记录着模拟机器T指令描述记录着T问题数据工作程U根据输入带记录T指令模拟T作处理问题数据U模拟任何计算程 停机问题 图灵机根据机器程序处理初始格局初始格局能导致停机则导致限格局序列停机问题:否存算于任意给定图灵机都能判定任意初始格局否导致停机已经证明算存即停机问题判定 停机问题研究许判定问题基础往往问题判定归结停机问题:问题 A判定则停机问题判定证明问题 A判定性停机问题种同叙述式证明别适用于具同特征问题。

本文分享完毕，希望对大家有所帮助。