中文名: 計算理論導引（第2版）
作者: (美) 西普塞
譯者: 唐常傑
圖書分類: 網絡
資源格式: PDF
版本: 掃描版
出版社: 機械工業出版社
書號: 9787111190288
發行時間: 2006年07月01日
地區: 大陸
語言: 簡體中文
簡介:



內容簡介：
　　《計算理論導引》（第2版）是計算理論領域的經典著作，被國外多所大學選用用為教材。本書以注重思路、深入引導為特色，系統地介紹計算機理論的三大主要內容：自動機與語言、可計算性理論和計算復雜性理論。同時，對可計算性和計算復雜理論中的某些高級內容作了重點講解。全書通過啟發性的問題、精彩的結果和待解決問題來引導讀者挑戰此領域中的高層次問題。新版的一大亮點是增加了更多習題、教輔資料和部分習題解答，更加有利於教學。
說明：eMule已開啟反吸血；迅雷、旋風、白光盤等級童鞋可通過用戶評論處一樓附的快速下載通道下載。
內容截圖：

目錄:


出版者的話
專家指導委員會
譯者序
譯者簡介
第1版前言
第2版前言
第0章 緒論
0.1 自動機、可計算性與復雜性
0.2 數學概念和術語
0.3 定義、定理和證明
0.4 證明的類型
練習
問題
習題選解
第一部分 自動機與語言
第1章 正則語言
1.1 有窮自動機
1.2 非確定性
1.3 正則表達式
1.4 非正則語言
練習
問題
習題選解
第2章 上下文無關文法
2.1 上下文無關文法概述
2.2 下推自動機
2.3 非上下文無關語言
練習
問題
習題選解
第二部分 可計算性理論
第3章 丘奇-圖靈論題
3.1 圖靈機
3.2 圖靈機的變形
3.3 算法的定義
練習
問題
習題選解
第4章 可判定性
4.1 可判定性
4.2 停機問題
練習
問題
習題選解
第5章 可歸約性
5.1 語言理論中的不可判定問題
5.2 一個簡單的不可判定問題
5.3 映射可歸約性
練習
問題
習題選解
第6章 可計算性理論的高級專題
6.1 遞歸定理
6.2 邏輯理論的可判定性
6.3 圖靈可歸約性
……
第三部分 復雜性理論
第7章 時間復雜性
第8章 空間復雜性
第9章 難解性
第10章 復雜性理論高級專題
參考文獻
索引