1.1.2 状态

在很久以前的几何课上，你可能学过多步数学证明，即使用给定信息和形式系统，通过一系列步骤，最终验证命题。因此，一个命题的真假，虽然孤立地看并非显而易见，但是根据之前的一系列命题，应该是直截了当的。读者的“状态”（当前真命题列表）在通读证明的过程中会不断变化。最后，状态列表会加上预期的结果。

算法具有不同的目标。算法是一系列指令，每个指令描述一个简单的操作，最终完成一项复杂的任务。这些指令可能涉及大量重复，因此你不会希望监督每个步骤的执行。相反，你可以提前指定所有步骤，然后让电子助手快速执行这些步骤，自己则退居一旁。当然，也可能存在无法预知的意外情况（例如前面提到的“听到嘎吱声”）。

在算法中，计算机的状态不断被修改。计算机有许多存储单元，其内容可能在操作过程中发生变化。你的目标可能是在算法运行完成后，安排其中一个或多个存储单元保存某些复杂计算的结果。你可能还希望显示特定的图形图像。