定 價(jià)：88 元
叢書名：科學(xué)出版社“十四五”普通高等教育研究生規(guī)劃教材電子科技大學(xué)“十四五”規(guī)劃研究生教育精品教材
當(dāng)前圖書已被 22 所學(xué)校薦購過！
查看明細(xì)
- 作者：周益民等
- 出版時(shí)間：2021/9/1
- ISBN：9787030697967
- 出 版 社：科學(xué)出版社
- 中圖法分類：TP301.1
- 頁碼：
- 紙張：膠版紙
- 版次：
- 開本：16開
形式語言與自動(dòng)機(jī)理論是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的一門重要課程�！队邢拮詣�(dòng)機(jī)理論（第四版）》簡(jiǎn)述形式語言基本內(nèi)容，包括文法的分類、構(gòu)造方法和語言間運(yùn)算的封閉性。系統(tǒng)地論述三類有限自動(dòng)機(jī)——有限狀態(tài)自動(dòng)機(jī)、下推自動(dòng)機(jī)和圖靈機(jī)的基礎(chǔ)理論。從文法產(chǎn)生語言和自動(dòng)機(jī)識(shí)別語言的角度對(duì)語言進(jìn)行討論，介紹了文法與等價(jià)的自動(dòng)機(jī)之間的轉(zhuǎn)換方法以及有限自動(dòng)機(jī)的一些典型應(yīng)用。《有限自動(dòng)機(jī)理論（第四版）》以新的思維方式為讀者提供了一把鑰匙，主要培養(yǎng)讀者的獨(dú)立思考能力、抽象思維能力、使用符號(hào)化的系統(tǒng)描述程序設(shè)計(jì)語言或自然語言的語法結(jié)構(gòu)的能力以及構(gòu)造自動(dòng)機(jī)的能力。
更多科學(xué)出版社服務(wù)，請(qǐng)掃碼獲取。
目錄
第1章 基礎(chǔ)知識(shí) 1
1.1 集合及其運(yùn)算 1
1.2 關(guān)系 3
1.2.1 二元關(guān)系 3
1.2.2 等價(jià)關(guān)系 3
1.2.3 關(guān)系合成 4
1.3 證明和證明的方法 5
1.3.1 反證法 5
1.3.2 歸納法 6
1.3.3 遞歸的定義與歸納證明 7
1.4 圖與樹 7
1.5 語言 8
1.6 常用術(shù)語 8
1.7 形式語言與自動(dòng)機(jī)的發(fā)展 11
習(xí)題1 13
第2章 形式語言 14
2.1 例子語言 14
2.2 文法和語言的關(guān)系 19
2.2.1 文法 19
2.2.2 語言 21
2.2.3 文法和語言的3類問題 22
2.3 Chomsky對(duì)文法和語言的分類 23
2.4 文法產(chǎn)生語言 27
2.5 無用非終結(jié)符 35
2.6 推導(dǎo)樹 35
2.7 空串定理 38
2.8 消除左遞歸 39
2.8.1 消除直接左遞歸 39
2.8.2 消除間接左遞歸 40
2.9 上下文無關(guān)文法的另一種表示 42
2.10 語言之間的運(yùn)算及運(yùn)算的封閉性 43
2.10.1 語言之間的基本運(yùn)算 43
2.10.2 語言之間的運(yùn)算的封閉性 44
2.10.3 語言之間的其他運(yùn)算 48
2.11 正則表達(dá)式和正則集 50
習(xí)題2 53
第3章 有限狀態(tài)自動(dòng)機(jī) 55
3.1 有限狀態(tài)自動(dòng)機(jī)簡(jiǎn)介 55
3.2 確定有限狀態(tài)自動(dòng)機(jī)接收的語言 57
3.3 確定有限狀態(tài)自動(dòng)機(jī)接收語言的例子 62
3.4 不確定有限狀態(tài)自動(dòng)機(jī) 74
3.4.1 不確定有限狀態(tài)自動(dòng)機(jī)簡(jiǎn)介 75
3.4.2 不確定有限狀態(tài)自動(dòng)機(jī)的確定化 76
3.5 帶有ε動(dòng)作的有限狀態(tài)自動(dòng)機(jī) 82
3.6 有限狀態(tài)自動(dòng)機(jī)的一些變形 89
3.6.1 雙向的有限狀態(tài)自動(dòng)機(jī) 89
3.6.2 帶有輸出的有限狀態(tài)自動(dòng)機(jī) 90
3.7 有限狀態(tài)接收機(jī)的存儲(chǔ)技術(shù) 94
3.8 有限狀態(tài)自動(dòng)機(jī)應(yīng)用實(shí)例 96
習(xí)題3 109
第4章 下推自動(dòng)機(jī) 110
4.1 下推自動(dòng)機(jī)簡(jiǎn)介 110
4.1.1 確定的下推自動(dòng)機(jī) 111
4.1.2 不確定的下推自動(dòng)機(jī) 114
4.1.3 下推自動(dòng)機(jī)接收語言的兩種方式 116
4.1.4 廣義下推自動(dòng)機(jī)和單態(tài)下推自動(dòng)機(jī) 120
4.2 上下文無關(guān)文法和范式 123
4.2.1 Chomsky范式 123
4.2.2 Greibach范式 124
4.3 下推自動(dòng)機(jī)與上下文無關(guān)語言 126
4.4 下推自動(dòng)機(jī)應(yīng)用實(shí)例 138
習(xí)題4 141
第5章 圖靈機(jī) 143
5.1 圖靈機(jī)的基本模型 143
5.1.1 圖靈機(jī)的定義 143
5.1.2 圖靈機(jī)的構(gòu)造 146
5.2 圖靈機(jī)作為非負(fù)整數(shù)函數(shù)計(jì)算模型 153
5.3 圖靈機(jī)的構(gòu)造技術(shù) 156
5.3.1 圖靈機(jī)的存儲(chǔ)技術(shù) 156
5.3.2 圖靈機(jī)的移動(dòng)技術(shù) 160
5.3.3 圖靈機(jī)掃描多個(gè)符號(hào)技術(shù) 161
5.3.4 圖靈機(jī)的多道技術(shù) 173
5.3.5 圖靈機(jī)的查訖技術(shù) 180
5.3.6 圖靈機(jī)的子程序技術(shù) 181
5.4 圖靈機(jī)變形 184
5.4.1 雙向無窮帶圖靈機(jī) 185
5.4.2 多帶多讀/寫頭圖靈機(jī) 188
5.4.3 不確定圖靈機(jī) 189
5.4.4 多維圖靈機(jī) 191
5.4.5 其他圖靈機(jī) 192
5.5 通用圖靈機(jī) 195
5.5.1 編碼目的 195
5.5.2 編碼方法 195
5.5.3 總結(jié) 198
5.6 圖靈機(jī)與短語結(jié)構(gòu)語言 198
5.7 線性有界的圖靈機(jī)與上下文相關(guān)語言 198
5.8 圖靈機(jī)應(yīng)用實(shí)例 199
習(xí)題5 205
參考文獻(xiàn) 207
書單推薦
