计算的本质

其实就是计算方面的书，比起标准的计算的教程简单一些，对于没学过类似理论的人补学习还是很受用、让人感觉神奇和略微烧脑的。书里的部分 Ruby 代码很多时候感觉有些多余，不过类似这种入门介绍的计算方面的书不多（因为其他的更难），所以蛮推荐的。之前看了一半，最近终于从头把书看完了，有点欣慰。

必须是力荐，讲解通俗易懂，非常平易，可以让人轻松学习，里面的资料也比较丰富，我很喜欢。

2016.1.18开始读。2017.7.9 理解了图灵机，就理解了算法（有限状态机）与数据结构（抽象的纸带）=图灵机，也就理解了编译原理的理论部分，线程编程本质就是事件驱动模型，也就是写一个有限状态机。程序看做数据作为其他程序的输入。

计算到底是什么? 在此之前我从未思考这个问题, 这本书却试图剖析这个概念. 最厉害的是这本书在循循渐进, 最大的收获就是操作语义 (规约来计算), lambda 等价图灵机. 但是我很担心的是, 这些知识在学习之后因为不会被使用而马上遗忘... 希望能提炼一个总纲出来, 便于回忆.

Ruby版SICP，看完甚至想去学Ruby，行云流水的语法太秀了 小步语义 -> 大步语义 -> 指称语义 DFA -> NFA -> REG -> DPDA -> NPDA -> DTM 从零开始 Lambda

配合《计算理论导引》食用更佳，不少《计算理论导引》中介绍的抽象的理论，尽管你已经认为“学会”了，但事实上并不了解它们真正意味着什么

围绕Ruby语法、Lambda、图灵机介绍计算理论的实现。

这本书最大的快乐可能就在于ruby实现了，比起Python这种长寿编程而言其乐趣显而易见。当一件事情有很多种实现方法时本身就是件非常有趣的事情，因为有创造力的空间才会产生美和灵感。作为唯一一个我觉得浪漫的语言，即使ruby已经没落，但rails能释放的生产力放眼当前也仍然堪称优秀。只是它毕竟骨子里就不是为大规模协作而生，所以虽然快乐，但注定孤独。（咦听起来好像更浪漫了？？:p 所以姑且期待未来吧，但艺术和创造性恐怕永远都不会是未来语言的主流，因为追求生产力和效益本质上就一点也不浪漫。对企业来说效率才是最重要的，谁关心它是不是优雅呢？虽然严谨的逻辑和抽象的架构始终是我喜爱计算机系统的原因，但缺乏美感和意义也是我讨厌编程的原因。难道是因为我还不够热爱吗？反正敲代码和画画之间，我还是宁愿选择后者。