計(jì)算理論基礎(chǔ)（第2版）

譯者序(Ⅲ)
第一版序言(Ⅴ)
第二版序言(Ⅶ)
導(dǎo)言(Ⅸ)
第1章集合、關(guān)系和語(yǔ)言(１)
１.１集合(１)
１.2關(guān)系與函數(shù)(４)
１.３特殊類(lèi)型的二元關(guān)系(７)
１.４有窮集合與無(wú)窮集合(１１)
１.５三個(gè)基本的證明技術(shù)(１３)
１.６閉包與算法(１７)
１.７字母表與語(yǔ)言(２５)
１.８語(yǔ)言的有窮表示(２９)
參考文獻(xiàn)(33)
第２章有窮自動(dòng)機(jī)(３４)
２.１確定型有窮自動(dòng)機(jī)(３４)
２.２非確定型有窮自動(dòng)機(jī)(３９)
２.３有窮自動(dòng)機(jī)與正則表達(dá)式(４７)
２.４正則語(yǔ)言與非正則語(yǔ)言(５４)
２.５狀態(tài)最小化(５８)
２.６關(guān)于有窮自動(dòng)機(jī)的算法(６５)
參考文獻(xiàn)(７０)
第３章上下文無(wú)關(guān)語(yǔ)言(７２)
３.１上下文無(wú)關(guān)文法(７２)
３.２語(yǔ)法分析樹(shù)(７９)
３.３下推自動(dòng)機(jī)(８３)
３.４下推自動(dòng)機(jī)與上下文無(wú)關(guān)文法(８７)
３.５上下文無(wú)關(guān)語(yǔ)言與非上下文無(wú)關(guān)語(yǔ)言(９２)
３.６關(guān)于上下文無(wú)關(guān)文法的算法(９７)
３.７確定性與語(yǔ)法分析(１０２)
參考文獻(xiàn)(１１５)
第４章Ｔu(píng)ring機(jī)(１１７)
４.１Ｔu(píng)ring機(jī)的定義(１１７)
４.２用Ｔu(píng)ring機(jī)計(jì)算(１２５)
４.3Ｔu(píng)ring機(jī)的擴(kuò)充(１３０)
４.４隨機(jī)存?。評(píng)ring機(jī)(１３６)
４.５非確定型Ｔu(píng)ring機(jī)(１４４)
４.６文法(１４８)
４.７數(shù)值函數(shù)(１５１)
參考文獻(xiàn)(１５８)
第５章不可判定性(160)
５.１ChurchＴu(píng)ring論題(160)
５.２通用Ｔu(píng)ring機(jī)(161)
５.３停機(jī)問(wèn)題(163)
５.４與Ｔu(píng)ring機(jī)有關(guān)的不可判定問(wèn)題(166)
５.５與文法有關(guān)的不可解問(wèn)題(168)
５.６不可解的鋪磚問(wèn)題(172)
５.７遞歸語(yǔ)言的性質(zhì)(174)
參考文獻(xiàn)(178)
第６章計(jì)算復(fù)雜性(179)
６.１P(pán)類(lèi)(179)
６.２若干問(wèn)題(181)
６.３布爾可滿足性(187)
６.４NP類(lèi)(190)
參考文獻(xiàn)(194)
第７章NP完全性(196)
７.１多項(xiàng)式時(shí)間歸約(196)
７.２Cook定理(202)
７.３其他的NP完全問(wèn)題(207)
７.４對(duì)付NP完全性(218)
參考文獻(xiàn)(229)
中英對(duì)照名詞索引(231)