第1 章启程_计算机操作的程序和数据都存储在内存中。通常都有一个程序计数器指向内存中的特定-CSDN博客

本文链接：https://blog.csdn.net/weixin_44259522/article/details/137542919

计算机能且只能做两件事，执行计算与保存计算结果，但它把这两件事都做到了极致。常见的台式机或笔记本电脑每秒钟大概可以执行10亿次计算，快得难以置信。想象一下，让一个离地面1米高的球自由落体到地面上，这么短暂的时间，你的计算机已经执行了超过10亿条指令。至于存储，一台普通计算机可以有几千亿字节的存储空间。这是什么概念呢？打个比方，如果1字节（byte，表示一个字符所需的位数，通常是8位）的重量是1克（实际上当然不是），那么100 GB的重量就相当于10 000吨，这几乎是15 000头非洲象的重量。

在人类历史的大部分时间里，计算受限于人类大脑的计算速度以及人类双手记录计算结果的能力，这意味着通过计算只能解决一些最简单的问题。即使现代计算机具备如此快的速度，它在很多问题上依然无能为力（例如，搞清楚气候变化），但越来越多的问题已经被证明可以通过计算解决。我们希望你学习完本书之后，可以熟练地将计算思维应用到解决工作、学习、生活问题的过程中。

那么，计算思维到底指什么呢？

所有知识都可以归结为两类：陈述性知识和程序性知识。陈述性知识由对事实的描述组成。
例如：“如果满足y × y = x，那么x的平方根就是数值y。”这就是对事实的描述。遗憾的是，它没
有告诉我们怎样求出平方根。

程序性知识说明“如何做”，描述的是信息演绎的过程。亚历山大的海伦（Heron of Alexandria）第一次提出如何计算一个数的平方根①。他的方法可以总结如下：
(1) 随机选择一个数g；

(2) 如果g × g足够接近x，那么停止计算，将g作为答案；
(3) 否则，将g和x/g的平均数作为新数，也就是(g + x/g)/2；
(4) 使用新选择的数——还是称其为g——重复这个过程，直到g × g足够接近x。

思考下面这个例子，求出25的平方根。
(1) 为g设置一个任意值，例如3；
(2) 我们确定3 × 3 = 9，没有足够接近25；(3) 设置g为(3 + 25/3)/2 = 5.67；①
(4) 我们确定5.67 × 5.67 = 32.15还是不够接近25；
(5) 设置g为(5.67 + 25/5.67)/2 = 5.04；
(6) 我们确定5.04 × 5.04 = 25.4已经足够接近25了，所以停止计算，宣布5.04就是25的平方根
的一个合适的近似值。
请注意，这个方法描述的是一系列简单的步骤，以及一个控制流，用来确定某个步骤在什么
情况下得以执行。这种描述称为算法②。这个例子是一个猜测与检验算法。它基于这样一个事实：
我们很容易验证一个猜测是否合理。
更加正式的定义是：算法是一个有穷指令序列，描述了这样一种计算过程，即在给定的输入
集合中执行时，会按照一系列定义明确的状态进行，最终产生一个输出结果。
算法有点像菜谱：

(1) 将蛋奶糊加热；
(2) 搅拌；
(3) 将调羹浸入蛋奶糊；
(4) 拿出调羹，用手指划一下调羹背面；
(5) 如果留下明显痕迹，则停止加热并冷却；
(6) 否则重复以上步骤。

算法包含一些测试指令，用来确定整个过程何时结束；还包含一些顺序指令，用来确定指令执行的顺序。有些时候，还会根据测试结果跳转到某些指令。
那么，如何将菜谱的思想应用到机械过程中呢？一种方法就是，专门设计一台用来计算平方
根的机器。这听起来有点奇怪，但实际上，最早用来计算的机器就是这种固定程序计算机。顾名
思义，它们的设计目的就是做非常具体的事情，而且大多数情况下用来解决具体的数学问题，如
计算炮弹的弹道。阿塔纳索夫和贝里在1941年建造的机器算是最早的计算机之一，它可以用来解
线性方程组，但其他什么都不会。阿兰·图灵在二战期间设计Bombe计算机器的目的就是，专门
破解纳粹德国的Enigma密码。现在，一些非常简单的计算机还在使用这种方法。例如，四功能计
算器就是一种固定程序计算机，它只能做简单的算术，不能用作文字处理器，也不能运行视频游
戏。要改变这种机器的程序，只能更换电路。
第一台真正的现代计算机是Manchester Mark 1③。相比于那些先驱者，它有本质上的改进，
即它是一台存储程序计算机。这种计算机存储（并操作）一个指令序列，并具有一个可以执行序
列中任何指令的元素集合。通过创建指令集结构，并将计算过程详细划分为一个指令序列（也就
是一个程序），我们可以制造高度灵活的机器。存储程序计算机可以对指令进行处理，就像处理
数据一样，这样就能够轻松修改程序，并且可以在程序的控制之下做这些事情。实际上，计算机的核心变成了可以执行任意合法指令集的程序（称为解释器），这样计算机就能够计算任何可以
使用基本指令集描述的问题。
计算机操作的程序和数据都存储在内存中。通常都有一个程序计数器指向内存中的特定位
置，通过执行这个位置上的指令，计算过程得以开始。大多数情况下，解释器只是简单地按照顺
序执行序列中的下一条指令，但并不总是如此。在某些情况下，解释器执行一个测试，然后根据
测试结果可能跳到指令序列的其他位置继续执行。这称为控制流，是允许我们编写可执行复杂任
务的程序的必备条件。
再回到菜谱这个比喻，如果给定一组固定原料，那么一位优秀的厨师通过各种方式的搭配，
可以做出非常多的美味佳肴。同样地，如果给定一个小规模的固定初始元素组合，那么一位优秀
的程序员也可以创造出非常多的有用程序。这就是编程如此引人入胜的原因。
要创建“菜谱”，即指令序列，我们需要能够描述这些指令的编程语言，从而向计算机发号
施令。
1936年，英国数学家阿兰·图灵提出了一种抽象的计算设备，后来称为通用图灵机。这种机
器具有无限的存储容量，即一条无限长的纸带。可以在纸带上面写入0和1，以及一些非常简单的
初始指令，从而对纸带进行移动、读出和写入等操作。邱奇图灵论题表明，如果一个函数是可
计算的，那么一定可以通过对图灵机进行编程实现这种计算。
邱奇图灵论题中的“如果”非常重要，并非所有问题都可以通过计算求解。举例来说，图
灵就曾经证明，不存在这样一个程序：对于给定的任意程序P，当且仅当P永远运行时输出true。
这就是著名的停机问题。
邱奇图灵论题可以直接推导出图灵完备性这个概念。如果一门编程语言可以模拟通用图灵
机，才可以说它是图灵完备的。所有现代编程语言都是图灵完备的。因此，任何可以被一门编程
语言（例如Python）实现的程序，都可以被另一门编程语言（例如Java）实现。当然，有些事情
用某种语言实现起来更容易，但就计算能力而言，所有语言从根本上说都是相等的。
幸运的是，程序员不必在图灵初始指令集的基础上构建程序，现代编程语言提供了更大、更
方便的初始指令集。但是，编程基本思想的核心仍然是组装操作序列的过程。
不管具有什么样的初始指令集，也不管如何使用初始指令集，关于编程的最美妙的事情也同
时是最糟糕的事情：计算机会严格按照你的指令去做。这很美妙，因为这意味着你可以使用计算
机做各种各样既有趣又有用的事情；这很糟糕，因为如果计算机没有按照你的期望去做，那么你
不能怨天尤人，只能自怨自艾。
当今世界中存在着几百种编程语言，没有哪一门语言是最好的（尽管你可以数出一些最差
的）。术业有专攻，每种语言都有自己的用武之地。举例来说，MATLAB是一门非常优秀的语言，
适合操作向量和矩阵；C也是一门优秀的语言，适合开发控制数据网络的程序；PHP是建立网站
的理想选择；Python则以良好的通用性著称。
每种编程语言都有基本结构、语法、静态语义和语义。如果用一门自然语言类比，例如英语，
那么基本结构就是单词，语法则用来描述哪些单词放在一起可以组成通顺的句子，静态语义定义
了哪些句子是有意义的，语义则定义了句子的实际含义。Python语言中的基本结构包括字面量（例如，数值3.2和字符串'abc'）和中缀操作符（例如，+和/）。
语言中的语法定义了字符和符号组成句子的正确形式。例如，英语中的Cat dog boy这个句子
在语法上是错误的，因为英语语法不接受<名词><名词><名词>这样的句子形式。在Python中，
3.2 + 3.2这样的基本结构序列在语法上是良好的，但3.2 3.2这个序列则不是。
静态语义定义了哪些语法有效的句子是有意义的。例如，英语中I are big这个句子是<代
词><系动词><形容词>的形式，在语法上是有效的。然而它不是有效的英语句子，因为代词I
是单数，而系动词are是复数。这就是典型的静态语义错误。在Python中，序列3.2/'abc'在语
法上没有问题（<字面量><操作符><字面量>），但会产生一个静态语义错误，因为数值除以字
符串是没有意义的。
在一门语言中，语义为每个语法正确又没有静态语义错误的句子关联一个含义。在自然语言
中，句子的语义可以是模棱两可的。例如，句子I cannot praise this student too highly可以是一种恭
维，也可以是一种批评。编程语言是被精心设计过的，所以每个程序都只有一种确切的含义。
尽管语法错误是最常见的错误（特别是学习一门新的编程语言时），它的危害性却最小。每
种严谨的编程语言都会尽力检查语法错误，绝不允许用户运行有语法错误的程序。而且，大多数
情况下，语言系统都会给出足够明确的提示，指出错误的位置，让用户明确得知如何修复错误。
至于静态语义错误，情况就有点复杂了。有些语言，比如Java，运行程序之前会做很多静态
语义检查。但其他一些语言，比如C和Python，静态语义检查就比较少。Python在运行程序时确
实会做相当数量的静态语义检查，但不会捕获所有静态语义错误。如果这些错误没有被检测出，
程序的行为往往将是不可预知的。后面会看到一些这样的例子。
通常我们并不会说程序具有语义错误。如果一个程序没有语法错误，也没有静态语义错误，
那么它就有某种含义。也就是说，它具有语义。当然，这并不是说它具有的语义就是程序员想表
达的含义。如果程序的含义与程序员想表达的含义不同，那就糟糕了。
如果程序有错误且没有按照你的期望运行，那会发生什么呢？
 它可能崩溃，也就是说，停止运行并表现出某种明显的崩溃迹象。在设计合理的计算系
统中，一个程序的崩溃不会殃及整个系统。当然，某些非常流行的计算机系统并没有这
种良好的特性。几乎所有的个人计算机用户都有过这种体验：某个程序出现问题时，必
须重启计算机才能解决。
 它也可能继续运行、运行、运行，永不停止。如果你不清楚程序完成任务大概需要多少
时间，那么就很难识别这种异常情况。
 它也可能运行结束，并产生一个可能正确也可能不正确的结果。
以上每种情况都不是我们想要的，特别是最后一种。当一个程序看上去正确运行而实际上没
有时，接下来的事情就很糟糕了。财产可能损失，患者可能受到致命剂量的放射治疗，飞机可能
会坠毁，等等。
程序如果没有正确运行，就应该表现出明显的错误。只要有可能，我们都应该以这种方式编
写程序。如何实现这一点将贯穿本书始终。