- 博客(2)
- 收藏
- 关注
原创 图灵机停机不可判定证明
图灵机停机不可判定证明 利用反证法 假设存在一个M(p,d)可以判定p程序对就d输入是否停机程序p如下 p(d) { 如果 M(p,d)可停机 不可停机 否则 返回停机}请判定p否可停机 如果M(p,d)可停机 根据定义是不可停机的 如果M(p,d)不可停机,根据定义是停机的
2007-07-09 18:22:00
2162
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人