第一：The Annotated Turing

我最近买了一本，看着觉得挺好的，想和大家分享，
其特色是将Turing的经典论文逐行注释，
当然也包括Turing的一些生平事迹还有一些计算方面的历史缘由。

书的作者是Windows程序员们熟悉的Charles Petzold。

读本书的缘由起于最近几年IT行业出现的强语言趋势，很多语言都引入了函数式语言的特性，
所以重新激发起读些理论的兴趣。另外也是因为比较笨啦，学了多次（三次或者更多）计算理论，
均不能很好的掌握Turing机这一块的内容，也想补补。

最后，再推介另一本书The Language of Machines: An Introduction to Computability and Formal Languages。第一作者是Robert W. Floyd，我是80年代读的书，90年代改行做的程序员，对于60\70年代的IT界风云人物其实是几乎完全不了解的，居然不知道他是Turing奖的得主。他的书用一种非常一致性的方法处理了各种machine，非常精彩，我只用半天时间阅读了第一章，就对Turing机有了新的理解，解了我多年的困惑，我觉得有充分理由推介一下和大家分享。

这篇文章对第一本书有更深入的点评。

http://www.matrix67.com/blog/archives/4930

有机会我对第二本书也写点东西。

对第一本书作者的访谈。

http://www.ituring.com.cn/article/19078