計算理論基礎

討論了計算機科學中的純粹、引人注目並且普遍存在的基本內容，介紹構成基本計算範例的基本概念、模型、技巧、結果，闡述當今計算機科學家用于建模、討論和預測算法與計算的思想概念與數學知識。

全書共分10章，內容包括數學基礎、正則語言、上下文無關語言、可計算枚舉語言、非可計算枚舉語言、算法可解性、計算復雜性等內容。每章都給出了大量習題，並且在附錄提供了部分習題的答案與提示。