本書系統地介紹了計算理論的三個主要內容：自動機與語言、可計算性和計算復雜性。絕大部分內容是基本的，同時對可計算性和計算復雜性理論中的某些高級內容作了重點介紹。作者以清閑的筆觸、生動的語言給出了寬泛的數學原理，而沒有拘泥于某些低層次的細節。本書可作為計算機專業高年級本科生和研究生的教材，也可作為教師和研究人員的參考書。