图灵机停机不可判定证明

最新推荐文章于 2024-02-16 13:23:23 发布

fhy0516

最新推荐文章于 2024-02-16 13:23:23 发布

阅读量2.1k

点赞数 1

本文链接：https://blog.csdn.net/fhy0516/article/details/1683841

版权

图灵机停机不可判定证明
 利用反证法
 假设存在一个M(p,d)可以判定p程序对就d输入是否停机
程序p如下
 p(d)
 {
 	如果 M(p,d)可停机 不可停机
	否则 返回停机
}
请判定p否可停机
 如果M(p,d)可停机 根据定义是不可停机的
 如果M(p,d)不可停机，根据定义是停机的

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

fhy0516

关注关注

1
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
图灵机停机不可判定证明

图灵机停机不可判定证明利用反证法假设存在一个M(p,d)可以判定p程序对就d输入是否停机程序p如下 p(d) { 如果 M(p,d)可停机不可停机否则返回停机}请判定p否可停机如果M(p,d)可停机根据定义是不可停机的如果M(p,d)不可停机，根据定义是停机的
复制链接

扫一扫