讲一点题外话吧， 最近研究了一些函数式编程，所以对计算理论，图灵机产生了兴趣。 经过大约若干个月的研究，我发现我完全不能理解图灵机给计算理论带来的意义，后来我在知乎发现了王垠曾经对这一问题做过回答。 http://www.yinwang.org/blog-cn/2015/10/18/turing 我希望在研究基础算法的同学如果也有渗透到这个维度想要做一些学习研究后被劝退的可以看一下这个，然后把学习的重心中图灵机的部分摒弃。 主要把数理逻辑和lambda演算作为理论的支撑。