本书由美国麻省理工学院MichaelSipser所撰写。四川大学唐常杰等人翻译。本他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。内容很好，本书十分畅销，这里给出课后习题答案