(Elements of the Theory of Computation 2nd Ed.)Harry R. Lewis, Christos H. Papadimitriou 编著 张立昂 刘田 译　计算理论是计算机科学的理论基础。本书介绍了计算理论最核心、最基本的内容，包括形式语言与自动机、可计算性和计算复杂性三大部分。全书共分七章，分别为：集合、关系和语言；有穷自动机；上下文无关语言；Turing机；不可判定性；计算复杂性；NP完全性。本书突出了算法，从而使计算机专业的学生更易于接受，也更有收益。　译者在译者序中写道：“我之所以愿意翻译这两本书，一是因为它们确实是两本关于计算理论的优秀教材；二是因为国内太缺乏这样的书了，尽管计算机类书刊极其繁多，可是计算理论的书却难觅踪影。”“特别希望立志致力于计算机科学技术事业的青年学生都来认真地学一点计算理论，那将可能是终身受益的。”　本书适合作为计算机专业及数学专业本科生或研究生的教材，也可供从事计算机科学的教学与研究人员参考。