读书记录之《计算的本质》

之前读龙书,读到自动机的时候就完全渐渐就不知所云了。后来试着看看其他类似的书,比如虎书、鲸书,最后统统都放弃了。

最近看了《计算的本质》,感觉看着还不错,简单的解释了龙书里的部分概念,还有一部分SICP的内容。

这本书主体分两部分,第一部分主要是基础的语法语义分析和自动机、下推自动机和图灵机;第二部分是一些图灵等价的机器,比如labmda、SKI、IOTA之类演算,同时还有些机器极限和抽象的讨论。

从小步语义、大步语义开始,一直到语法分析,计算的本质到底是什么?

继续阅读