計算理論導引

本書由計算機理論領域的知名權威Michaael Sipser所撰寫。他以獨特的視角，系統(tǒng)地介紹了計算機理論的三個主要內容：自動機與語言、可計算性理論和計算復雜性理論。約大部分內容是基本的，同時對可計算性和計算復雜性理論中的某些高級內容進行了重點介紹。作者以清新的筆觸、生動的語言給出了寬泛的數學原理，而沒有拘泥于某些低層次的細節(jié)。在證明之前，均有“證明思路”，幫助讀者理解數學形式下涵的概念。同樣，對于算法描述，均以直觀的文字而非偽代碼給出，從而將注意力集中于算法本身，而不是某些模型。新版根據多年來使用本書的教師和學生的建議進行了改進，并對課堂測試題進行了全面的更新，每章末均有樣例解答。

本書可作為計算機專業(yè)高年級本科生和研究生的教材，也可作為教師和研究人員的參考書。