计算理论导引(中文)(美 麻省理工学院)

本书系统地介绍了计算理论的三个主要内容：自动化于语言，可计算性和计算复杂性。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。作者以清新的笔触，生动的语言给出了宽泛的科学原理，而没有拘泥于某些低层次的细节。