(资料图片仅供参考)
1、由于图灵机带向右限延伸所图灵机存储空间计算间都限制增加图灵机般算概念精确化即任何算均由适图灵机模拟尚未发现直观计算函数能由图灵机计算且已关于直观计算函数另些精确化定义递归函数、λ 定义函数等都等价于图灵机定义计算函数 通用图灵机 已经证明存图灵机U,模拟任何其图灵机T,U称通用图灵机U带记录着模拟机器T指令描述记录着T问题数据工作程U根据输入带记录T指令模拟T作处理问题数据U模拟任何计算程 停机问题 图灵机根据机器程序处理初始格局初始格局能导致停机则导致限格局序列停机问题:否存算于任意给定图灵机都能判定任意初始格局否导致停机已经证明算存即停机问题判定 停机问题研究许判定问题基础往往问题判定归结停机问题:问题 A判定则停机问题判定证明问题 A判定性停机问题种同叙述式证明别适用于具同特征问题。
本文就为大家分享到这里，希望小伙伴们会喜欢。
标签：
Copyright @ 2001-2013 www.caixunnews.com All Rights Reserved 财经新闻网 版权所有 京ICP备12018864号-1
网站所登新闻、资讯等内容, 均为相关单位具有著作权,转载请注明出处
未经彩迅新闻网书面授权，请勿建立镜像 联系我们： 291 32 36@qq.com
营业执照公示信息