收藏
第1章基礎知識
1.1集合,關係和函數
1.2證明方法
1.3圖
1.4語言：基本概念
問題與解答
習題
第2章文法
2.1文法的定義和分類
2.2二義性
2.3 CFG的化簡
2.4範式
問題和解答
習題
第3章有限狀態自動機
3.1確定有限狀態自動機(DFSA)
3.2不確定有限狀態自動機(NFSA)
3.3正則表達式
問題與解答
習題
第4章有限自動機：特徵、性質和可判定性
4.1有限自動機和正則文法
4.2正則集的泵浦引理
4.3封閉性
4.4可判定性定理
問題和解答
習題
第5章帶輸出的有限狀態自動機及其最小化
5.1 Myhill鄄Nerode定理
5.2帶輸出的有限自動機
問題與解答
習題
第6章有限自動機的變形
6.1雙向有限自動機
6.2多頭有限狀態自動機
6.3概率有限自動機
6.4加權有限自動機和數字圖像
問題與解答
習題
第7章下推自動機
7.1下推自動機
7.2空棧接受和終態接受的等價
7.3 CFG和PDA的等價
問題與解答
習題
第8章上下文無關文法性質與分析
8.1 CFL的泵引理
8.2 CFL的封閉性
8.3 CFL的判定性質
8.4 CFL的子群
8.5帕里克映射與帕里克定理
8.6自嵌入性
8.7同態下的特性
問題與解答
習題
第9章圖靈機
9.1作為接受器的圖靈機
9.2作為計算設備的圖靈機
9.3圖靈機的構造技術
問題與解答
習題
第10章圖靈機的變形
10.1通用版本
10.2受限圖靈機
10.3作為枚舉器的圖靈機
10.4圖靈機和0型語言的等價
10.5線性有界自動機
10.6歌德爾編號
問題與解答
習題
第11章通用圖靈機及可判定性
11.1圖靈機的編碼和枚舉
11.2遞歸和遞歸可枚舉集
11.3通用圖靈機
11.4問題,實例和語言
11.5萊斯定理
11.6規約問題以證明不可判定性
11.7波斯特對應問題
11.8可計算函數
問題與解答
習題
第12章時間與空間複雜度
12.1 RAM模型
12.2圖靈機的時間與帶複雜度
問題與解答
習題
第13章最近的趨勢及應用
13.1正則重寫
13.2馬庫斯上下文文法
13.3林登麥伊爾系統
13.4文法系統及分佈式自動機
第14章一些新的計算模型
14.1 DNA計算
14.2膜計算
單項選擇題(I)
單項選擇題(II)
參考文獻
2024專利防護中