本書(shū)系統(tǒng)地介紹了計(jì)算理論的三個(gè)主要內(nèi)容：自動(dòng)機(jī)與語(yǔ)言、可計(jì)算性和計(jì)算復(fù)雜性。絕大部分內(nèi)容是基本的，同時(shí)對(duì)可計(jì)算性和計(jì)算復(fù)雜性理論中的某些高級(jí)內(nèi)容作了重點(diǎn)介紹。作者以清閑的筆觸、生動(dòng)的語(yǔ)言給出了寬泛的數(shù)學(xué)原理，而沒(méi)有拘泥于某些低層次的細(xì)節(jié)。本書(shū)可作為計(jì)算機(jī)專業(yè)高年級(jí)本科生和研究生的教材，也可作為教師和研究人員的參考書(shū)。