計(jì)算理論導(dǎo)引

本書由計(jì)算理論領(lǐng)域的知名權(quán)威Michael Sipser撰寫。他以獨(dú)特的視角，綜合地描述了計(jì)算機(jī)科學(xué)理論，并以清新的筆觸、生動(dòng)的語(yǔ)言給出了寬泛的數(shù)學(xué)理論，而并非拘泥于某些低層次的技術(shù)細(xì)節(jié)。在證明之前，均有“證明思路”，幫助讀者理解數(shù)學(xué)形式下蘊(yùn)涵的概念。同樣，對(duì)于算法描述，均以直觀的文字，而非偽代碼給出，從而將注意力集中于算法本身，而不是某些模型。本書的內(nèi)容包括三個(gè)部分：自動(dòng)機(jī)與語(yǔ)言、可計(jì)算性理論和