图灵机--停机问题

最新推荐文章于 2024-02-16 13:23:23 发布
最新推荐文章于 2024-02-16 13:23:23 发布
阅读量284 收藏
点赞数
文章标签： 笔记
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/misszzs2002/article/details/132941015
版权

问题：给定规则和纸带，是否有算法可以确定图灵机停机或者一直运行。

如果有个程序无法判断，证明此问题无解。

目的，找到这种程序。

H（halt 停止）：判断程序是否会停机，判断运行此会不会停机

F（find 寻找）：寻找程序 找到让H停机的程序 F停机

如果H会停机，表明F没有找到让H停机的程序，F会一直找，F不停机

如果H不会停机，F找到，F停机

现在把H和F封装，问F输出的程序会不会让整体停机

H如果说停机，表示F不停机，表示能说话的人（H）说停机，但是整体不停机

H说不停机，则F停机，表示能说话的人（H）说停机，但是整体不停机

【计算机科学速成课】[40集全/精校] - Crash Course Computer Science】

https://www.bilibili.com/video/BV1EW411u7th?p=15&vd_source=53f17186c8480e141f43fa1db7910b6c

zhangzhong3
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
图灵机与计算问题 tuning machine and computation problem
03-17
图灵机与计算问题 张江(email: [email protected]) 自从20世纪30年代以来，图灵机、计算这些重要的概念在科学的天空中就一直闪烁着无限的光彩。尤其是近年来量子计算机、生物计算机、DNA计算等领域的创新工作引起了世人的广泛关注。我们不禁问这样的问题，国外究竟为什么能发明出这些各式各样的计算机呢？这些意味着什么呢？其实这一切的源头都来源于计算理论。国内在介绍计算理论方面的教材虽然有不少，但一般都比较深奥难懂。所以我觉得很有必要对这些内容进行科普。于是尝试写下这么一篇文章，希望我的文章能够让你更加清楚、透彻的理解图灵机、计算等等一些基本而重要的概念，并洞悉到这些概念的本质和深远涵义。 本篇文章大体上可以分成四部分：首先给大家讲一讲关于图灵、哥德尔等科学家的故事；然后正式引入图灵机的概念，为了对这个概念有比较直观的理解，我采用了一个人工生命：“小虫”的比喻来叙述。接下来，文章介绍了跟图灵机有关的概念：什么是模拟，什么是“万能计算机”等等；最后是关于图灵停机问题的探讨，我个人认为很有可能未来对科学的重大突破都来源于对图灵停机问题的深入理解。在行文过程中，我除了用自己的方式介绍一些现有的基本概念之外（为了尽量表达得清楚明白，我不得不放弃理论论证的严格性），还探讨了很多我认为别人没有探讨的问题，这些问题多是我自己的思考结果，而它们没有经过科学的验证。在这部分内容上我都标上了*号，希望你能有选择的看待这些问题和观点。
关于忙海狸问题
03-22
RADO的忙海狸函数∑(n)是从空白带出发的n态停机图灵机能在带上留下的1的最大个数.经过30多年的研究讨论,和忙海狸函数相关,还引进了移动、空间、往返忙海狸函数等.这些函数的不可计算性与Turing机停机问题的不可判定性是等价的.该文综述了这些研究成果,并总结出可用三种方法来证这些函数的不可计算性.另外,该文所得的结果主要是对目前最近似忙海狸的∑(五状态)进行了动态分析,从而能判知它的运行和停机状况等,结合此,企图为构造忙海狸找到可循的途径.最后,该文还补充了上述函数间的一些关系,并特别对只打1的T-打印机作了研究,给出了它们相应的函数及其间的关系.
图灵·停机问题的不可判定性
最新发布
lifallen的博客
02-16 1080
停机问题；算法；图灵机
计算概论与程序设计基础-计算机的基本原理-.pptx
05-28
计算概论 第一讲 计算机的基本原理 计算机的理论模型——图灵机 从数学危机到图灵机 图灵机的基本构成 图灵机的运行机理 计算机为什么能计算？ 数的二进制表示 二进制数的布尔运算 已解问题：数的表示 二进制. 待解问题：如何进行计算？ 计算机中数的逻辑运算方法 布尔代数 1854年：布尔发表《思 维规律的研究——逻辑 与概率的数学理论基 础》，并综合其另一篇 文章《逻辑的数学分 析》，创立了一门全新 的学科－布尔代数； 为计算机的开关电路设 计提供了重要的数学方 法和理论基础。 英国数学家布尔（G.Boole） 计算机中数的逻辑运算方法 基本逻辑运算 与 或 非 复合逻辑运算 同或 异或 与非 或非 与或非 英国数学家布尔（G.Boole） 计算机中数的逻辑运算方法 F R E A B 逻辑函数表达式：F= A B 真值表 A B F 0 0 0 0 1 0 1 0 0 1 1 1 B 计算机中数的逻辑运算方法 F A R E 逻辑函数表达式：F= A+B F 0 1 1 1 A 0 0 1 1 B 0 1 0 1 真值表 计算机中数的逻辑运算方法 逻辑函数表达式：F= A+B E A R F 1 0 0 1 F A 真值表 AB F1 F2 00 0 1 01 1 0 10 1 0 11 0 1 计算机中数的逻辑运算方法 真值表 异或 两数相同为"0" 两数相异为"1" 同或 两数相同为"1" 两数相异为"0" F = A B F = A B 加法的计算 举例：A=1101, B=1001, 求 A+B 1 1 0 1 + 1 0 0 1 1 0 0 1 1 0 1 1 0 加法的计算 举例：A=1101, B=1001, 求 A+B 异或 与 A B 本位 进位 1 + 1 1 + 0 1 0 1 1 + 1 0 0 1 1 + 0 0 1 1854年的布尔代数 半 加 器 半 加 器 或 an bn cn -1 sn cn Scn-1 an---加数；bn---被加数；cn-1---低位的进位 sn---本位和；cn---进位 1 1 0 1 + 1 0 0 1 1 0 0 1 1 0 1 1 0 已解问题：数的表示 —— 二进制. 已解问题：计算方法 —— 布尔代数 待解问题：布尔运算如何实现？ 1854年的布尔代数 与门 或门 异或门 小结 电路为什么能计算？ 数字运算 可以转换 二进制数的运算； 二进制运算 可以转换为 基本的"布尔运算" ； 基本的"布尔运算" 都可以 由电路完成； 所以电路能"算数"！ CPU 计算机的过去、现在 和 未来 下集预告 Thanks. 计算概论 第一讲 计算机的基本原理 计算机的理论模型——图灵机 从数学危机到图灵机 图灵机的基本构成 图灵机的运行机理 计算机为什么能计算？ 数的二进制表示 二进制数的布尔运算 计算机的理论模型——图灵机 本节内容 图灵机的构成 运作机理 示例 图灵机的意义 前节回顾 三次数学危机 图灵的贡献 提到了"图灵机" 图灵机的构成 图灵机的组成 一条存储带 双向无限延长 上有一个个小方格 每个小方格可存储一个数字/ 字母 一个控制器 可以存储当前自身的状态； 包含一个读写头，可以读、 写、更改存储带上每一格的 数字/字母 可以根据读到的字母/数字变 换自身的状态 可以沿着存储带一格一格地 左移/右移 图灵机如何工作 图灵机的工作步骤： 1. 准备： （1）存储带上符号初始化； （2）控制器设置好自身当前状态； （3）读写头置于起始位置； （4）准备好工作程序； 2. 反复执行以下工作直到停机： （1）读写头读出存储带上当前方格中 的字母/数字； （2）根据 自身当前状态 和 所读到的 字符，找到相应的程序语句； （3）根据 相应程序语句，做三个动作： 在当前存储带方格上写入一个相 应的字母/数字； 变更自身状态至新状态； 读写头向左或向右移一步； 1 1 1 1 1 1 1 q1 q1 q2 q2 q3 q3 1 b 1 b 1 b 1 1 1 b b b R R R L H H q1 q2 q2 q3 q3 q3 当前状态：q1 q1 1 1 R q1 当 前 机 器 状 态 当 前 读 入 的 符 合 当 前 应 写 入 的 符 号 读 写 头 的 动 作 机 器 应 转 入 的 状 态 图灵机运行前的准备工作： （1）存储带上符号初始化； 当前字母表：{ 1，b } （2）设置好控制器当前状态； 控制器状态集合： { q1, q2, q3 } 控制器当前状态：q1 （3）读写头置于起始位置； （4）准备好工作程序； 图灵机程序五元组: <q, b, a, m, q'> 1 1 1 1 1 1 1 q1 q1 q2 q2 q3 q3 1 b 1 b 1
图灵机控制规则/指令/程序以及图灵机模型软件源码
02-24
rules文件夹中的5套图灵机控制规则分别实现了N+1, N+M, N-1, N-M, 2^N，N和M为二进制整数。运行图灵机模型软件可以导入和解译rules中的txt文件，同时还可以观察规则的执行顺序。txt文件中5列数字分别表示当前状态、当前符号、新状态、新符号和读写头移动方向，其中数字1、2和3分别表示读写头不动、左移和右移动，-2和-3分别表示正常停机状态和异常停机状态。
图灵机停机问题的不可判定性
Zyj061的专栏
04-09 1万+
Turing Machine Halting Problem停机问题：指判断任意一个程序是否能在有限的时间之内结束运行的问题。图灵机停机问题是不可判定的，意思即是不存在一个图灵机能够判定任意图灵机对于任意输入是否停机。 为了证明这个问题的不可判定性，我们将基于莱斯定理(Rice’s Theorem)将其规约成另外的问题来判定某个图灵机是否能在给定的输入上，在有限步数内给出确定的是或者不是的答案。
图灵停机问题的史上最详细描述
u014073556的博客
01-12 1万+
图灵停机问题 停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。 等价于是否存在一个程序H，对于任意输入的程序P，能够判断P会在有限时间内结束或者死循环。 假设存在这样的一个函数H来判断一个程序P在输入为 I 情况下是否会停机。最后用反证法，证明不存在这样的H. 如果P停机，H输出0表示P是停机，否则H输出1表示P是死循环。 int H(P, I); // 这里的H函数有两种返回值...
图灵停机问题
chenhuaijin的专栏
10-24 1582
问题描述： 通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，可以有一个程序判断其本身是否会停机并做出相反的行为。这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。 prof：（反正法） 这个问题实际上是问: 是否存在一台"万能的"图灵机 H, 把任意一台图灵机 M 输入给 H, 它都能判定
阿兰·图灵如何证明的通用图灵机不可判定“停机问题
m0_62574889的博客
05-16 1003
阿兰·图灵如何证明的通用图灵机不可判定“停机问题 我还是不太理解，我停机预测器已经预测该程序会停机了，那么这个机器就应该停止了呀，实际情况应该是就是这个计算机会停机呀 这里指的反向操作是什么操作呢？ 我还是觉得怪怪的，因为我认为反例程序是在停机预测器已经给出输出之后，给出的输入，如果我最开始这个停机预测器就输出会停机，那么它不就停机了吗？
图灵停机问题(halting problem)
MyLinChi的博客
01-12 7639
问题描述 是否存在一个过程能做这件事：该过程以一个计算机程序以及该程序的一个输入作为输入，并判断该过程在给定输入运行时是否最终能停止。 问题解答 1936年图灵证明这样的过程是不存在的。 证明 （反证法） 假设：存在一个这样的过程H（P,I），P为计算机程序，I为该程序的一个输入,H可以根据P和I返回true（该过程在给定输入运行时能停止)或者false（该过程在给定输入运行时不能停止）。
图灵机停机问题与辩证无限观
weixin_71696661的博客
06-05 1592
图灵机停机问题与辩证无限观 图灵机停机问题的证明有两种方法：对角线法、判定程序法。这两种证明方法一直遭受到科学界、哲学界的质疑。而“对角线法”备受质疑，是因为这种方法的哲学思想是一种“实无限”思想。我文《辩证唯物主义无限观与诸流派无限思想分析》对“对角线法”进行了全面的批判（见我的博文）。 判定程序法遭受质疑是因为其证明思路与罗素悖论一致，而罗素悖论的彻底解决至今未有定论。所以人们对判定程序法的质疑也是理所当然的。 我文《辩证无限观与第三次数学危机》（见我的博文，或微信公...
计算引论论文----图灵机停机与人工智能
03-23
北航计算引论论文，讲述计算引论中著名的图灵机停机问题。
图灵停机问题（The Halting Problem）
一苇以航
08-03 1501
不存在这样一个程序（算法），它能够计算任何程序（算法）在给定输入上是否会结束（停机）。 那么，如何来证明这个停机问题呢？ 反证!假设我们某一天真做出了这么一个极度聪明的万能算法（就叫God_algo吧），你只要给它一段程序（二进制描述），再给它这段程序的输入，它就能告诉你这段程序在这个输入上会不会结束（停机），我们来编写一下我们的这个算法吧： bool God_algo(char*
图灵机原理及其不能解决的问题
m0_63819616的博客
12-15 1546
图灵将计算描述为状态变化的过程，以实现计算的自动化，从而产生了图灵机。
TSP(旅行者问题)——动态规划详解
热门推荐
JoeKwok的专栏
10-30 10万+
1.问题定义      TSP问题（旅行商问题）是指旅行家要旅行n个城市，要求各个城市经历且仅经历一次然后回到出发城市，并要求所走的路程最短。       假设现在有四个城市，0,1,2,3，他们之间的代价如图一，可以存成二维表的形式                                            图一                             
证明图灵机停机问题是不可判定的
04-24
证明图灵机停机问题是不可判定的，需要使用反证法。假设存在一个算法或者程序，能够解决所有图灵机是否会停机的问题。那么我们可以利用这个算法或程序来构造一个新的图灵机，这个图灵机的定义是如果输入的图灵机停机...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值