图灵在1936年就指出,图灵机并不是什么都能计算。最著名的例子就是停机问题,即没有计算机能通过查看一段代码就知道自己是会永远执行下去还是会最终停止。——摘自《可能与不可能的边界:P/NP问题趣史》 前言 我们都见过计算机屏幕上出现一个代表忙碌的小沙漏,不知道这是代表计算机死机 ...
目录 一 概念 二 反证法证明 . 假设能写出停机函数check halt program, params . 定义一个调用了check halt并会触发死循环的函数self root . self root self root 触发矛盾 一 概念 能否写出一个程序,判断其他程序是否会结束 比如,求和函数sum计算 , ,check halt sum, , 应该返回true 虽然我们特别想要这样 ...
2021-07-12 11:58 0 129 推荐指数:
图灵在1936年就指出,图灵机并不是什么都能计算。最著名的例子就是停机问题,即没有计算机能通过查看一段代码就知道自己是会永远执行下去还是会最终停止。——摘自《可能与不可能的边界:P/NP问题趣史》 前言 我们都见过计算机屏幕上出现一个代表忙碌的小沙漏,不知道这是代表计算机死机 ...
计算机技术已运用到人类生活的方方面面,帮助人类解决各种问题。可你是否有想过,计算机是否能为人类解决所有问题呢? 假如你是一个程序猿,你已编写过很多程序。有些程序一下子就能出结果,有些程序则好久都没有显示结果。你不知道这些程序到底最终是否会显示结果。你突然灵光一现---“能不能设计一个程序 ...
计算机中的有符号数有三种表示方法,即原码、反码和补码。 三种表示方法均有符号位和数值位两部分,符号位都是用0表示“正”,用1表示“负”; 而数值位,三种表示方法各不相同。 在计算机系统中,数值一律用补码来表示和存储。 原因在于,使用补码,可以将符号位和数值域统一处理,同时,加法和减法 ...
计算机中的编码问题 因为计算机只能处理数字,如果要处理文本,就必须先把文本转换为数字才能处理。最早的计算机在设计时采用8个比特(bit)作为一个字节(byte),所以,一个字节能表示的最大的整数就是255(二进制11111111=十进制255),如果要表示更大的整数,就必须用更多的字节 ...
可计算性 可计算性理论明确了在理论上可计算的函数应具有的特征。那些定义在自然数集上的、理论上可计算的函数通常被称为部分递归函数。概念中强调“理论上可计算”,是因为某些可计算函数在实际计算中可能会耗费相当长的计算时间,可能在我们宇宙现存时间内都无法完成其计算。 直观地说,如果存在一段程序 ...
计算机中的时间处理 目录 计算机中的时间处理 统一概念 标准时间 时区 时间戳 字符串表示 RFC2822 ISO 8601 ...
在上一篇写到冯诺伊曼结构中计算机的硬件组成,第一个就是存储器,用于存储数据和程序。那么这一节来梳理一下在计算机中这些数据是怎么存储的。 一、数字在计算机中是如何存储的 我们将数字分为整数和实数分别讨论 整数 有三种存储方法:无符号表示法、符号加 ...
古时候,人们是如何来传递消息的? 当年周幽王为博褒妃一笑,不顾众臣反对,竟数次无故点燃边关告急用的烽火台,使各路诸侯,长途跋涉,匆忙赶去救驾。结果,被戏而回。周幽王从此便失信于诸侯,最后,当边关真的 ...