Simone
由于图灵机带向右限延类刑明多生肉云搞伸所图灵机存储空特而防改议间计算间都限制增加图灵机般算概念精确化即任何算均由适图灵机模拟尚未发现直观计算函数能由图灵机计算且已关于直观计算函数源见行金助下音约上另些精确化定义递归函数、λ定义函数等都等价于图灵机定义计算函数通用图灵机已经证明存图灵机U,模拟任何其图灵机T,U称着识括审磁际图江厂通用图灵机U带记录着模拟机器T指令描述记录着T问题数据工作程U根据输入带记录T指令模拟360问答T作处理问题数据U模拟任何计算程停机问题图灵机根据机器程序处理初始格局初始格局能导致停机则导致限格局序列停机问题:否存算于任意给定图灵机都能判定任意初始格局否导致停机已经证明算存即停机问题判定停机问题研究许判定问题基础往往问题判定归结停机问题:问题A判定则停机问题判定证明问题A判定性停机问题种同叙述式证明别适用于具同特征问题
