1.1.2 狀態(tài)

在很久以前的幾何課上，你可能學(xué)過多步數(shù)學(xué)證明，即使用給定信息和形式系統(tǒng)，通過一系列步驟，最終驗(yàn)證命題。因此，一個(gè)命題的真假，雖然孤立地看并非顯而易見，但是根據(jù)之前的一系列命題，應(yīng)該是直截了當(dāng)?shù)摹Ｗx者的“狀態(tài)”（當(dāng)前真命題列表）在通讀證明的過程中會(huì)不斷變化。最后，狀態(tài)列表會(huì)加上預(yù)期的結(jié)果。

算法具有不同的目標(biāo)。算法是一系列指令，每個(gè)指令描述一個(gè)簡單的操作，最終完成一項(xiàng)復(fù)雜的任務(wù)。這些指令可能涉及大量重復(fù)，因此你不會(huì)希望監(jiān)督每個(gè)步驟的執(zhí)行。相反，你可以提前指定所有步驟，然后讓電子助手快速執(zhí)行這些步驟，自己則退居一旁。當(dāng)然，也可能存在無法預(yù)知的意外情況（例如前面提到的“聽到嘎吱聲”）。

在算法中，計(jì)算機(jī)的狀態(tài)不斷被修改。計(jì)算機(jī)有許多存儲單元，其內(nèi)容可能在操作過程中發(fā)生變化。你的目標(biāo)可能是在算法運(yùn)行完成后，安排其中一個(gè)或多個(gè)存儲單元保存某些復(fù)雜計(jì)算的結(jié)果。你可能還希望顯示特定的圖形圖像。