01 / 經典教材推薦
經典教材推薦
適合誰
通常在資工系大二或大三第一次修計算理論或形式語言課程的大學生。由於核心概念都先以引導例題帶入，再提出定義與定理，本書特別適合覺得精簡且高度形式化的教科書難以入門的學生。
需要的基礎
具備離散數學基礎，包括集合、函數、關係、圖與數學歸納法證明，以及一些程式設計經驗。
涵蓋內容
數學預備知識；確定性與非確定性有限自動機；正規語言、正規表示式與正規文法；正規語言的性質與抽取引理；上下文無關語言與文法、文法化簡與標準形式；下推自動機；上下文無關語言的性質；圖靈機與圖靈論題；其他計算模型；遞迴可列舉語言與喬姆斯基階層；演算法計算的極限；複雜度入門；以及本版新增的語法剖析應用。
如何使用
閱讀每一節時先掌握引導例題，在挑戰較難的題目前先完成入門習題。動手畫出自動機，用紙筆或模擬器追蹤它們處理範例輸入的過程。語法剖析各章可與編譯器課程同步閱讀，體會理論的實際應用。
版本與來源
第7版，由 Jones & Bartlett Learning 於2022年出版，版權年份為2023年（ISBN 9781284231601），新增三章語法剖析內容。本紀錄的書目資料取自 Jones & Bartlett Learning 產品頁面，並與 Google Books 交叉核對。