第一章 程序設(shè)計語言 和可計算函數(shù)
1.1 預(yù)備知識
1.2 church-turing論題
1.3 程序設(shè)計語言
1.4 可計算函數(shù)
1.5 宏指令
習(xí)題

第二章 原始遞歸函數(shù)
2.1 原始遞歸函數(shù)
2.2 原始遞歸謂詞
2.3 迭代運算、有界量詞和極小化
2.4 配對函數(shù)和godel數(shù)
2.5 原始遞歸運算
2.6 ackermann函數(shù)
2.7 字函數(shù)的可計算性
習(xí)題

第三章 通用程序
3.1 程序的代碼
3.2 停機(jī)問題
3.3 通用程序
3.4 遞歸可枚舉集
習(xí)題

第四章 turing機(jī)
4.1 turing機(jī)的基本模型
4.2 turing機(jī)的各種形式
4.3 turing機(jī)與可計算性
4.4 turing機(jī)接受的語言
4.5 非確定型turing機(jī)
習(xí)題

第五章 過程與文法
5.1 半thue過程
5.2 用半thue過程模擬turing機(jī)
5.3 文法
5.4 再論遞歸可枚舉集
5.5 部分遞歸函數(shù)
5.6 再論church-turing論題
習(xí)題

第六章 不可判定的問題
6.1 判定問題
6.2 turing機(jī)的停機(jī)問題
6.3 字問題和post對應(yīng)問題
6.4 有關(guān)文法的不可判定問題
6.5 一階邏輯中的判定問題
習(xí)題

第七章 正則語言
7.1 chomsky譜系
7.2 有窮自動機(jī)
7.3 有窮自動機(jī)與正則文法的等價性
7.4 正則表達(dá)式
7.5 非正則語言
習(xí)題

第八章 上下文無關(guān)語言
8.1 上下文無關(guān)文法
8.2 chomsky范式
8.3 bar-hillel泵引理
8.4 下推自動機(jī)
8.5 上下文無關(guān)文法與下推自動機(jī)的等價性
8.6 確定型下推自動機(jī)
8.7 上下文有關(guān)文法
習(xí)題

第九章 時間復(fù)雜性與空間復(fù)雜性
9.1 turing機(jī)的運行時間和工作空間
9.2 計算復(fù)雜性類
9.3 復(fù)雜性類的真包含關(guān)系
習(xí)題

第十章 np完全性
10.1 p與np
10.2 多項式時間變換和np完全性
10.3 cook定理
10.4 若干np完全問題
10.5 conp
習(xí)題

第十一章 np類的外面
11.1 pspace完全問題
11.2 一個難解問題
習(xí)題

第十二章 p類的里面
12.1 若干例子
12.2 對數(shù)空間變換
12.3 nl類
12.4 p完全問題
習(xí)題

第十三章 隨機(jī)算法與隨機(jī)復(fù)雜性類
13.1 隨機(jī)算法
13.2 隨機(jī)復(fù)雜性類
習(xí)題
習(xí)題解答
附錄
附錄a 記號
附錄b 中英文名詞索引
參考文獻(xiàn)