Halting Problem的讨论

最新推荐文章于 2024-01-28 21:06:12 发布
最新推荐文章于 2024-01-28 21:06:12 发布
阅读量244 收藏
点赞数
分类专栏： 笔记 随笔 文章标签： 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Andy12138_qwq/article/details/115278299
版权
本文讨论了停机问题，即给定一个图灵机M，不存在算法能够确定M在空白带输入下是否会停止运行。通过逻辑套娃的方式展示了试图判断程序是否终止会导致自相矛盾的悖论，从而证明无法存在这样的通用判断算法。尽管如此，对于无输入的特定情况，该论证并未直接解决，但它强调了理解代码和实际运行的重要性，有时候必须通过运行和深入理解来判断程序的行为，而非仅依赖语法结构。
摘要由CSDN通过智能技术生成

有关于Halting Problem的一点点讨论

Halting Problem with no input:

  • Show that given a Turing Machine M M M, there is no algorithm to determine whether M M M
最低0.47元/天 解锁文章
程琪皓
关注
专栏目录
图灵机杂思（转）
smilejiasmile的博客
08-05 605
图灵机杂思 转自 By刘未鹏 C++的罗浮宫(http://blog.csdn.net/pongba) C++ Template是图灵完备的（turing-complete，或者更确切的说，是图灵等价（turing-equivalent）），关于这一点是没什么悬念的，只是前几天有位朋友问到为什么说C++ Template是图灵完备的，为了找出当初的连接，于是又去搜了一下wikipedia和standford encyclopaedia，谁之这一搜之下又带出了一大堆内容，于是又花了好几个时辰将图...
余淼杰老师 经济学原理复习笔记（微观）
Andy12138_qwq的博客
11-24 792
经济学原理复习笔记（微观）经济学原理 复习笔记by: 程琪皓Lect1: 经济学10大基本原理Lect2: Thinking Like an EconomistLect3: Interdependence and Gains From TradeLect4: The market forces Of Supply and DemandLect5: Elasticity and Its Application 经济学原理 复习笔记 note：明天就期中考试了，让我来抱一抱佛脚… by: 程琪皓 第一轮：分别整
不可解问题(Undecidable Decision Problem)
matrix67的专栏
12-07 825
    看黑书介绍NP的时候有一个“不可解问题”，非常不可思议，费劲周折在网上查到了些英文资料，搞明白了，非常有意思，在这里说一下。    不可解问题(Undecidable Decision Problem)指的是这样一种问题：他无论如何也不可能有一个正确的算法来解决。虽然不可思议，但这种问题被证明确实是存在的。图灵在1936年（那时还没电脑，我们的父亲是在没有设备支持的纯理论基础
思想开放-学数学之人必备的特质(转载）
bluenight专栏
11-13 3884
读了这许多年数学，越来越发现思想开通是学数之人的一种必备特质。这里的「思想开通」是指脑筋灵活，不宥于一种思维定势，不墨守陈规，随时准备接受新概念或意念。虽然学习其它学科往往也需要具备这种特质，但由于数学是最抽象的学科，学习数学几乎就等于做「脑力体操」，需要不断动脑筋，因此便特别需要上述这种特质。 以前曾听人说过，学数之人思想呆板，因为他们一切依循既定的公式。上述看法是
算法概论：多项式归约、P、NP、NP完全问题
周周的奇妙代码之旅
06-11 6346
归约 设计一个函数f(x)，把问题A的输入转换成问题B的一个输入，这样就能用问题B的解法来求解。（输出真或假） 转换函数f(x)的设计必须要保证问题B的输出结果和相应的问题A上的答案保持一致。 这样就是一个归约技术，将这个问题转换为类似的其他问题。 多项式归约 归约是指A的输入x经过f(x)转换成B的输入x’，所谓多项式归约是指转换函数f(x)不能太复杂，需要在多项式时间内完成。如果是指数级或其他...
Python 类型系统与类型检查（翻译）
mziing的博客
04-19 1334
- 类型注解与类型提示 - 将静态类型添加到代码中，包括您的代码和其他人的代码 - 运行静态类型检查器 - 在运行时强制使用类型
林浩然的奇幻编程之旅：幽默探索图灵的智慧宇宙
最新发布
howard2005的专栏
01-28 924
林浩然，一个对计算机科学怀揣着无尽好奇的探索者，像一只闯入魔法森林的小狐狸，兴致盎然地踏上了追寻图灵奇妙世界之旅。他想象自己与艾伦·图灵共进下午茶，一边品尝着英式司康饼，一边探讨“图灵机”这个概念如何将抽象的计算过程具体化为实体模型。
【Algorithm】P·NP·NPC关系概述
Esperanto.的博客
05-26 1302
在问题的计算复杂性研究中，无数专家学者都很关注的一个问题就是——对于一个给定的问题，是否有一个多项式时间的算法可以将其解决。 这里我们讨论一下，什么叫“一个多项式时间的算法”。当一个算法在解决给定问题时，它在最坏情况下的时间复杂度T(n)=O(p(n))，这里的p(n)是一个关于问题输入规模n的多项式函数。注意这里的O记号，这一记号意味着如果算法在log(n)级别的时间内解决了问题，我们也可以称它“在多项式时间内解决了问题”。
MQ——RabbitMQ集群原理
庄小焱
09-25 1495
摘要 主要围绕运维层面展开论述，主要包括集群搭建、日志查看、故障恢复、集群迁移、集群监控这几个方面。 RabbitMQ集群搭建 RabbitMQ日志查看 RabbitMQ故障恢复 RabbitMQ集群迁移 RabbitMQ集群监控 ...
一文深入理解 Java 虚拟机
天行健，君子以自强不息；地势坤，君子以厚德载物。
06-26 904
类文件结构class类文件的结构任何一个Class文件都对应着唯一的一个类或接口的定义信息[插图]，但是反过来说，类或接口并不一定都得定义在文件里（譬如类或接口也可以动态生成，直接送入类加...
halting_problem:我的博客，使用鹈鹕构建
05-08
而“halting_problem”可能是这个项目的名称，与标题相呼应，可能是一个关于停机问题的Python实现或者讨论。 综上所述，这个博客很可能是一个关于计算理论，特别是停机问题的探讨，并使用Python语言进行了相关算法...
算法共谋：文献、不可判定性与监管挑战
“Church-Turing Thesis”和“Halting Problem”进一步强调了算法行为的复杂性和监管难题，“Recursiveness”和“Undecidability”则与不可判定性问题直接关联。 通过这些知识点，我们可以理解，虽然算法带来的效率...
余淼杰老师 经济学原理复习笔记（宏观3） 2020-12-14
Andy12138_qwq的博客
12-26 1109
经济学原理复习笔记（宏观）第12章 短期经济波动chapter 33 总需求与总供给33.1 关于经济波动的三个关键事实33.2 解释短期经济波动chapter 34 货币政策对财政政策对总需求的影响 第12章 短期经济波动 chapter 33 总需求与总供给 衰退：真实收入下降和失业率增加的时期 萧条：严重的衰退 例如08年的金融危机 33.1 关于经济波动的三个关键事实 事实1：经济波动是无规律的且不可预测的 经济周期：经济当中的波动 经济波动根本没有规律——曼昆 事实2：大多数宏观经济
余淼杰老师 经济学原理复习笔记（宏观2）
Andy12138_qwq的博客
12-26 989
经济学原理复习笔记（宏观）第十章 长期中的货币与物价chapter29 货币制度29.1 货币的含义29.2 联邦储蓄体系29.2.1 美联储的结构29.2.2 联邦公开市场委员会29.3 银行与货币供给29.3.1 百分之百准备金银行的简单情况chapter30 货币增长与通货膨胀30.1 古典通货膨胀理论30.1.1**物价水平与货币价值：**30.1.2 货币供给、货币需求与货币均衡chapter31 开放经济的宏观经济学：基本概念 第十章 长期中的货币与物价 chapter29 货币制度 货币：经济
余淼杰老师 经济学原理复习笔记（宏观1） 2020-12-14
Andy12138_qwq的博客
12-26 967
经济学原理复习笔记（微观）第八章 宏观经济学的数据chapter 23 一国收入的衡量23.1 经济的收入与支出——GDP23.2 国内生产总值(Gross Domestic Product, GDP)的衡量其他收入衡量指标23.3 GDP的组成部分23.3.1 消费consumption23.3.2 投资investiment 第八章 宏观经济学的数据 chapter 23 一国收入的衡量 一些统计数字（宏观经济学）： 国内生产总值（GDP） 平均物价上升或下降的比率（通货膨胀/通货紧缩） 劳动力中失业
心理咨询师考试 笔记[8]
Andy12138_qwq的博客
02-16 745
第八章 婚姻情感咨询师第一节 恋爱问题的心理咨询一. 人类的三种基本需求二． 爱情困惑与障碍的心理咨询案例1第二节 婚姻问题的心理咨询一. 婚姻关系的变化二． 苦涩婚姻的缘由（沟通不畅，错误认知）案例2案例3案例4三． 影响婚后夫妻关系的因素第三节 家庭问题心理咨询师一． 什么叫家庭二． 家庭心理咨询的主要原则三．亲子关系心理咨询1. 亲子关系的概念2 . 亲子关系问题的心理咨询心理咨询临床上，避免“贴标签”错误： 第一节 恋爱问题的心理咨询 一. 人类的三种基本需求 性：性爱，性的满足，生理需求 美感：情
心理咨询师考试 笔记[4]
Andy12138_qwq的博客
02-14 547
第四章 爱的轮回第一节 轮回是怎么开始的一． 什么是强迫性重复1. 重复创伤的动机2. 强迫性重复的成因：3. 强迫性重复为什么不断重复二． 强迫性重复背后的动力1. 潜意识的力量2. 脑回路的力量第二节 轮回是怎么被加强的一． 选择性注意二． 把信念当事实三． 移情四． 过度警醒 第一节 轮回是怎么开始的 例1：某女孩童年不幸，有一个虐待孩子、抛弃家庭或酗酒的坏爸爸，她成年后找的男朋友也常常是没有责任心、酗酒或有暴力行为的。 例2：从小受不了母亲太黏人，什么事情都需要控制，长大后又娶了一个很爱管事情的妻
心理咨询师考试 笔记[3]
Andy12138_qwq的博客
02-13 524
第三章 原生家庭第一节 原生家庭原生家庭的定义第二节 不同的原生家庭对人生的影响一． 完美主义家庭二． 过度高压三． 过度溺爱四． 过度保护五．过度惩罚六． 忽略七． 拒绝八． 性侵九．父母关系恶劣第三节 婚姻的重复父母婚姻模式重复的原因第四节 如何消除原生家庭的负面影响一． 用“心灵回溯”在婚姻中成长二． 清理各自的原生家庭三． 觉察过度强烈的情绪反应四 . 分清此刻与过去的界限五． 找出新的应对模式六． 小节 第一节 原生家庭 原生家庭的定义 原生家庭一般指父母的家庭，并且在子女成长的过程中没有组成新
心理咨询师考试 笔记[6]
Andy12138_qwq的博客
02-15 430
第六章 应对危机第一节 出轨了怎么办一． 什么情形才算出轨二． 他/她为什么会出轨三． 他/她出轨了，还能在一起吗？1. 左右脑功能分担说：左脑司理性，右脑司感性2. 男人与女人的大脑活动3. 男人女人同样“花心”4. 设置底线四． 修复的前提五． 关系创建的重要原则1. 出轨方主动承担修复关系的责任2. 被出轨方要为自己的反应和行为设置底线第二节 不要拿孩子当挡箭牌一． 都是谎言二． 心理不健康第三节 如何走出分离的创伤一． 为什么亲密关系的结束比大部分其他挫折的影响更为剧烈二． 分离的三个心理阶段第一阶
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值