浙江大學計算理論課件，計算理論是計算機科學的理論基礎本書介紹了計算理論最核心、最基本的內容，包括形式語言與自動機、可計算性和計算復雜性三大部分全書共分7章，分別為：集合、關系和語言；有窮自動機；上下文無關語言；Turing機；不可判定性；計算復雜性；NP完全性