本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是二位计算理论大师的巅峰之作。本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，可供从事计算理论工作的研究人员参考。