掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
形式語言與自動機理論教學參考書(第4版) 版權信息
- ISBN：9787302636267
- 條形碼：9787302636267 ; 978-7-302-63626-7
- 裝幀：平裝-膠訂
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
形式語言與自動機理論教學參考書(第4版) 本書特色
“形式語言與自動機理論”是難度較大的課程，雖然其很重要，但因為太難，影響了課程的開設和學生的學習，所以，提供教學參考書很有必要。
本書是第4版，**版，入選21世紀大學本科計算機專業系列教材，第2、3版先后入選普通高等教育“十一五”國家級規劃教材和“十二五”普通高等教育本科國家級規劃教材，第2版在2008年還被評為普通高等教育國家級精品教材。主要特點有（1） 滿足國內外對課程的*新要求；（2） 適合國情，倡導研究型教學，強化能力培養；（3） 體現學科基本教育原理；（4） 配套建設教學參考書和電子教案；（5） 化解深奧。保持基本內容抽象和形式化特征，設計引導思路的圖，通過直觀可視化，更清晰地表達思路，并使得內容更易理解。（6） 內容組織合理。不僅考慮知識體系滿足本科生和近期研究生教育的基本要求，還考慮有利于反映和傳授本學科特有思想方法。刪除了一些生僻內容；（7） 習題豐富恰當。每章都附有大量習題。由于國內外的教材比較少，而且內容難度很大，要求習題既不能傷害讀者的信心，又能促進讀者對課程知識和課程深層內容的理解，并鍛煉相關的能力。
形式語言與自動機理論教學參考書(第4版) 內容簡介
本書作為《形式語言與自動機理論（第4版）》（主教材）的配套教學輔導用書，按照主教材的結構編寫而成。本書包括有關內容的講解、學習要點、問題分析、求解思路和方法、注意事項。考慮到該課程習題求解具有相當的難度，以及給出全部習題解答又不利于學生學習，本書只給出了典型習題的解析。為了引導讀者及時總結學習內容，按照小節給出知識點和主要內容解讀，為讀者學習和掌握主教材中的知識點和問題求解方法，體會問題求解的核心思想提供幫助，對教師和學生來說，閱讀這些內容都是很有意義的。
形式語言與自動機理論教學參考書(第4版) 目錄
第1章緒論1
1.1集合的基礎知識2
1.1.1集合及其表示2
1.1.2集合之間的關系3
1.1.3集合的運算4
1.2關系5
1.2.1二元關系5
1.2.2遞歸定義與歸納證明6
1.2.3關系的閉包6
1.3圖7
1.3.1無向圖7
1.3.2有向圖8
1.3.3樹8
1.4語言9
1.4.1什么是語言9
1.4.2形式語言與自動機理論的產生與作用10
1.4.3基本概念11
1.5小結14
1.6典型習題解析14
第2章文法20
2.1啟示21
2.2形式定義22
2.3文法的構造26
2.4文法的喬姆斯基體系29
2.5空語句32
2.6小結33
2.7典型習題解析33目錄形式語言與自動機理論教學參考書（第4版）第3章有窮狀態自動機45
3.1語言的識別46
3.2有窮狀態自動機46
3.3不確定的有窮狀態自動機51
3.3.1作為對DFA的修改51
3.3.2NFA的形式定義51
3.3.3NFA與DFA等價52
3.4帶空移動的有窮狀態自動機55
3.5FA是正則語言的識別器57
3.5.1FA與右線性文法57
3.5.2FA與左線性文法58
3.6FA的一些變形60
3.6.1雙向有窮狀態自動機60
3.6.2帶輸出的FA61
3.7小結62
3.8典型習題解析63
第4章正則表達式70
4.1啟示70
4.2正則表達式的形式定義71
4.3正則表達式與FA等價73
4.3.1正則表達式到FA的等價變換73
4.3.2正則語言可以用正則表達式表示75
4.4正則語言等價模型的總結77
4.5小結78
4.6典型習題解析79
第5章正則語言的性質83
5.1正則語言的泵引理84
5.2正則語言的封閉性85
5.3MyhillNerode定理與DFA的極小化89
5.3.1MyhillNerode 定理89
5.3.2DFA的極小化93
5.4關于正則語言的判定算法95
5.5小結96
5.6典型習題解析96
第6章上下文無關語言103
6.1上下文無關文法104
6.1.1上下文無關文法的派生樹104
6.1.2二義性107
6.1.3自頂向下的分析和自底向上的分析109
6.2上下文無關文法的化簡110
6.2.1去無用符號110
6.2.2去ε產生式113
6.2.3去單一產生式116
6.3喬姆斯基范式117
6.4格雷巴赫范式119
6.5自嵌套文法122
6.6小結123
6.7典型習題解析123
第7章下推自動機127
7.1基本定義128
7.2PDA與CFG等價130
7.2.1PDA用空棧接受和用終止狀態接受等價130
7.2.2PDA與CFG等價131
7.3小結133
7.4典型習題解析134
第8章上下文無關語言的性質140
8.1上下文無關語言的泵引理141
8.2上下文無關語言的封閉性144
8.3上下文無關語言的判定算法146
8.3.1L空否的判定147
8.3.2L是否有窮的判定147
8.3.3x是否為L的句子的判定148
8.4小結150
8.5典型習題解析150
第9章圖靈機152
9.1基本概念153
9.1.1基本圖靈機153
9.1.2圖靈機作為非負整函數的計算模型157
9.1.3圖靈機的構造157
9.2圖靈機的變形160
9.2.1雙向無窮帶圖靈機160
9.2.2多帶圖靈機163
9.2.3不確定的圖靈機164
9.2.4多維圖靈機165
9.2.5其他圖靈機166
9.3通用圖靈機168
9.4幾個相關的概念170
9.4.1可計算性170
9.4.2P與NP相關問題170
9.5小結171
9.6典型習題解析171
第10章上下文有關語言183
10.1圖靈機與短語結構文法的等價性183
10.2線性有界自動機及其與上下文有關文法的等價性186
10.3小結187
10.4典型習題解析187
第11章內容歸納190
11.1文法與語言190
11.2正則語言190
11.3上下文無關語言191
11.4圖靈機192
11.5上下文有關語言193
第12章教學設計194
12.1概述194
12.1.1基本描述194
12.1.2教學定位194
12.1.3教學目標195
12.1.4知識點與學時分配196
12.2課堂講授198
12.2.1重點與難點198
12.2.2講授中應注意的方法等問題203
12.3作業205
12.3.1指導思想205
12.3.2關于大作業和實驗205
12.4課程考試與成績評定205
12.4.1成績評定205
12.4.2考題設計207
參考文獻209
1.1集合的基礎知識2
1.1.1集合及其表示2
1.1.2集合之間的關系3
1.1.3集合的運算4
1.2關系5
1.2.1二元關系5
1.2.2遞歸定義與歸納證明6
1.2.3關系的閉包6
1.3圖7
1.3.1無向圖7
1.3.2有向圖8
1.3.3樹8
1.4語言9
1.4.1什么是語言9
1.4.2形式語言與自動機理論的產生與作用10
1.4.3基本概念11
1.5小結14
1.6典型習題解析14
第2章文法20
2.1啟示21
2.2形式定義22
2.3文法的構造26
2.4文法的喬姆斯基體系29
2.5空語句32
2.6小結33
2.7典型習題解析33目錄形式語言與自動機理論教學參考書（第4版）第3章有窮狀態自動機45
3.1語言的識別46
3.2有窮狀態自動機46
3.3不確定的有窮狀態自動機51
3.3.1作為對DFA的修改51
3.3.2NFA的形式定義51
3.3.3NFA與DFA等價52
3.4帶空移動的有窮狀態自動機55
3.5FA是正則語言的識別器57
3.5.1FA與右線性文法57
3.5.2FA與左線性文法58
3.6FA的一些變形60
3.6.1雙向有窮狀態自動機60
3.6.2帶輸出的FA61
3.7小結62
3.8典型習題解析63
第4章正則表達式70
4.1啟示70
4.2正則表達式的形式定義71
4.3正則表達式與FA等價73
4.3.1正則表達式到FA的等價變換73
4.3.2正則語言可以用正則表達式表示75
4.4正則語言等價模型的總結77
4.5小結78
4.6典型習題解析79
第5章正則語言的性質83
5.1正則語言的泵引理84
5.2正則語言的封閉性85
5.3MyhillNerode定理與DFA的極小化89
5.3.1MyhillNerode 定理89
5.3.2DFA的極小化93
5.4關于正則語言的判定算法95
5.5小結96
5.6典型習題解析96
第6章上下文無關語言103
6.1上下文無關文法104
6.1.1上下文無關文法的派生樹104
6.1.2二義性107
6.1.3自頂向下的分析和自底向上的分析109
6.2上下文無關文法的化簡110
6.2.1去無用符號110
6.2.2去ε產生式113
6.2.3去單一產生式116
6.3喬姆斯基范式117
6.4格雷巴赫范式119
6.5自嵌套文法122
6.6小結123
6.7典型習題解析123
第7章下推自動機127
7.1基本定義128
7.2PDA與CFG等價130
7.2.1PDA用空棧接受和用終止狀態接受等價130
7.2.2PDA與CFG等價131
7.3小結133
7.4典型習題解析134
第8章上下文無關語言的性質140
8.1上下文無關語言的泵引理141
8.2上下文無關語言的封閉性144
8.3上下文無關語言的判定算法146
8.3.1L空否的判定147
8.3.2L是否有窮的判定147
8.3.3x是否為L的句子的判定148
8.4小結150
8.5典型習題解析150
第9章圖靈機152
9.1基本概念153
9.1.1基本圖靈機153
9.1.2圖靈機作為非負整函數的計算模型157
9.1.3圖靈機的構造157
9.2圖靈機的變形160
9.2.1雙向無窮帶圖靈機160
9.2.2多帶圖靈機163
9.2.3不確定的圖靈機164
9.2.4多維圖靈機165
9.2.5其他圖靈機166
9.3通用圖靈機168
9.4幾個相關的概念170
9.4.1可計算性170
9.4.2P與NP相關問題170
9.5小結171
9.6典型習題解析171
第10章上下文有關語言183
10.1圖靈機與短語結構文法的等價性183
10.2線性有界自動機及其與上下文有關文法的等價性186
10.3小結187
10.4典型習題解析187
第11章內容歸納190
11.1文法與語言190
11.2正則語言190
11.3上下文無關語言191
11.4圖靈機192
11.5上下文有關語言193
第12章教學設計194
12.1概述194
12.1.1基本描述194
12.1.2教學定位194
12.1.3教學目標195
12.1.4知識點與學時分配196
12.2課堂講授198
12.2.1重點與難點198
12.2.2講授中應注意的方法等問題203
12.3作業205
12.3.1指導思想205
12.3.2關于大作業和實驗205
12.4課程考試與成績評定205
12.4.1成績評定205
12.4.2考題設計207
參考文獻209
展開全部
形式語言與自動機理論教學參考書(第4版) 作者簡介
蔣宗禮，北京工業大學教授，博士生導師，國家級教學名師，CCF杰出教育獎獲得者，中國工程教育專業認證資深專家。 1978年3月至1984年7月在哈爾濱工業大學計算機學科學習，先后到美國、加拿大進修，1984年起先后在哈爾濱工業大學和北京工業大學主講編譯原理、形式語言與自動機理論、數據庫系統原理、人工神經網絡、新生研討課等課程。 國家精品課程、國家精品資源共享課程“編譯原理”負責人，主編國家“十一五”“十二五”規劃教材(包括國家普通高等教育精品教材1部，市精品教材多部)，《人工神經網絡導論》等研究生教材，國家級優秀教學團隊負責人。獲國家教學成果獎2項，各種省市級教學、科研成果20余項。曾獲中國高校優秀青年學者、寶鋼優秀教師、航天部優秀青年教師等榮譽稱號。 主要學術兼職有全國工程教育專業認證協會學術委員會、結論審議委員會、計算機類專業認證委員會委員，教育部高校計算機類專業教學指導委員會副主任，全國高校計算機教育研究會副理事長，中國計算機學會教育專業委員會副主任。
書友推薦
- >
巴金－再思錄
- >
有舍有得是人生
- >
中國歷史的瞬間
- >
史學評論
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
龍榆生：詞曲概論/大家小書
- >
上帝之肋:男人的真實旅程
- >
隨園食單
本類暢銷
