检索条件： 本书介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。 ( 主题词 )