计算理论导引（中文+英文版），由计算理论领域知名权威Michael Sipser所著。他是MIT应用数学系教授，计算机科学与人工智能实验室成员
You are about to embark on the study of a fascinating and important subject: the theory of computation. It comprises the fundamental mathematical proper- ties of computer hardware, software, and certain applications thereof. In study- ing this subject we seek to determine what can and cannot be computed, how quickly, with how much memory, and on which type of computational model. The subject has obvious connections with engineering practice, and, as in many sciences, it also has purely philosophical aspects.