本書是理論計算機科學(xué)方面的經(jīng)典教材，主要討論形式語言與自動機理論、可計算性理論和計算復(fù)雜性理論等內(nèi)容。本書強調(diào)定義和定理的準確性和嚴謹性，但在形式化證明中又非常注重符合直覺的理解，避免多余的數(shù)學(xué)細節(jié)。本書分為理論和應(yīng)用兩個部分：理論部分主要介紹有窮自動機、正則語言和文法、上下文無關(guān)語言和文法、下推自動機、圖靈機、形式語言和自動機的層次結(jié)構(gòu)以及計算復(fù)雜性等內(nèi)容，應(yīng)用部分主要介紹編譯器和解析、LL解析以及LR解析。