計算理論導引（原書第3版）

《計算理論導引（原書第3版）》由計算理論領域的知名權威 Michael Sipser 所撰寫。他以獨特的視角，系統(tǒng)地介紹了計算理論的三個主要內容：自動機與語言、可計算性理論和計算復雜性理論。作者以清新的筆觸、生動的語言給出了寬泛的數(shù)學原理，而沒有拘泥于某些低層次的細節(jié)。在證明之前，均有“證明思路”，幫助讀者理解數(shù)學形式下蘊涵的概念。本書可作為計算機專業(yè)高年級本科生和研究生的教材，也可作為教師和研究人員的參考書。