計算理論基礎：可計算性、複雜性和語言

《計算理論基礎：可計算性、複雜性和語言》是2009年人民郵電出版社出版的圖書。

內容簡介

《計算理論基礎可計算性複雜性和語言(英文版·第2版)》是理論計算機科學領域的名作，是計算機科學核心主題的導論性教材。全書分為可計算性、文法與自動機、邏輯學、複雜性及語義學5個部分，分別講述了可計算性理論、形式語言、邏輯學與自動演繹、可計算複雜性(包括NP完全問題)和程式語言的語義等主題，並展示了它們之間如何相互關聯。《計算理論基礎可計算性複雜性和語言(英文版·第2版)》是計算機及相關專業高年級本科生和研究生的理想教學參考書，對於計算機領域的專業人士也是很好的技術參考書。