本书为计算理论的经典教材。本书系统的介绍了计算理论的三个方面，即：自动机与语言、可计算性和计算复杂性。