计算理论解析

本书阐述离散对象计算原理，也就是图灵计算原理。具体而言，本书解答如下问题：1、可计算概念是如何提出的？（希尔伯特第10问题：丢番图算法问题）2、图灵是如何设计一个机械装置实现算术运算的？（图灵机原理）3、如何把图灵机的操作表示为数学函数？（递归函数与图灵机的对应关系）4、如何使用图灵机？（自动机的乔姆斯基文法）5、图灵说人的思维和智能与图灵计算没有本质差别，是真的吗？（图灵机的哲学意义）。