深入理解运算原理从简单机器到无所不能程式.PDFVIP

深入理解運算原理｜從簡單的機器到無所不能的程式 頁碼 位置 原述 更正 更正日期 ，而機器的行為是以控制機器執行時 ，而機器的行為是由一組規則所描述， 最後一段、第2 31 的狀態會如何改變的整組規則所描 機器執行時的狀態會如何變化，會由這 2018/1/12 行後面 述。 些規則決定。 33 第1行 #reduce #redice 2018/1/12 第2段、第1行後 但要避免破壞更新強迫我們造成 但要避免破壞性的更新強迫我們造成 36 2018/1/12 面 #reduce 完全清楚的結果。 #reduce 完全顯露出來的後果。 第3段、第4行中 這讓我們知道對環境化簡陳述式的確 這讓我們知道化簡陳述式會對環境有所 36 2018/1/12 間 有效 影響 所有的工作都一如預期，但我們若能 所有的運作都一如預期，但我們若能支 40 第1行 以«else» 子句支援條件陳述式，就像« 援沒有«else»子句的條件陳述式（像是« 2018/1/12 if (x) { y =1 }»，那就更棒了。 if (x) { y =1 }»），那就更棒了。 ≪ ≫ 小步語意使得我們必須從諸如«3»的不 我們必須以小步語意區分可化簡的運算 運算式 下一 46 可約運算式辨識出像是«1 + 2» 的可化 式（像是«1 + 2» ）和不可化簡化的運算 2018/1/12 段的第1行後面 簡運算式， 式（例如«3»）， ≪ ≫ 如果訊息往下經過抽象語法樹，然後 如果訊息沿著抽象語法樹往下傳，直到 應用 下一段 一直到它抵達準備好化簡的程式碼片 50 抵達準備好化簡的程式碼片段，可能就 2018/1/12 的第2行前面 段，可能就會造成棘手的巢狀 會造成少數的巢狀#reduce 呼叫 。 #reduce 呼叫 。 反之，為了解釋新語言，它本身關心 反之，它本身關心的是利用另一種語言 第1段、第1行中 的是另一種語言既定意義的影響（一 的既定意義來解釋新的語言，而另一種 52 2018/1/12 間 種比描述的語言更低階、更形式，或 語言應該要比所描述的語言更低階、更 至少更好瞭解）。 正規，或至少更好瞭解。 第2段最後一行 不需要再大費周章的以實際走動作為溝 52 不需