掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
形式語言與自動機理論(第4版) 版權信息
- ISBN：9787302636250
- 條形碼：9787302636250 ; 978-7-302-63625-0
- 裝幀：平裝
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
形式語言與自動機理論(第4版) 本書特色
本教材是國內“形式語言與自動機理論”課程*好的教材，發行量也是同類教材中*多的。本書不僅集作者近40年在相應課程上的教學經驗，而且還集作者30年傾心于計算機類專業教育的研究和實踐經驗，較好地體現了作者倡導的研究型教學。 本書是第4版，第1版入選21世紀大學本科計算機專業系列教材，第2、3版先后入選普通高等教育“十一五”國家級規劃教材和“十二五”普通高等教育本科國家級規劃教材，第2版在2008年還被評為國家普通高等教育精品教材。本書集作者近40年相應課程的教學經驗和30余年對專業教育的研究體會編著而成。自第1版在2003年出版以來，受到讀者們的厚愛，成為國內主創的、發行量*大、*優秀的形式語言與自動機理論教材。第1版獲北京市教學成果一等獎、北京市精品教材，第2版獲國家2008年度普通高等教育精品教材、北京市精品教材，第3版是“十二五”普通高等教育本科國家級規劃教材，本版是對第3版進一步的修訂。 主要特色：(1)通過模型建立、等價變換、性質分析，使讀者逐漸熟悉模型計算。層次分明，循序漸進，符合認知規律，突出設計形態，很好地體現了本專業理工兼有的特征和學科“抽象**”的基本教育原理。(2)引導能力導向的教育。以知識為載體，注重模型建立、構造、變換、證明的方法與思想探討，挖掘知識背后的內容，支持研究性教學，強化專業基本能力和創新能力的培養。(3)取材合適，結構嚴謹，深入淺出，把握知識點間的聯系，安排鋪墊，分散難點，突出重點，努力化解深奧，保持基本內容抽象和形式化，通過思路表達的可視化提高了易懂性，富有啟發性，使抽象、枯燥的內容變得吸引人。(4)配有大量難度適當、前后呼應、富有啟發性、努力結合專業、宏觀和微觀兼有的習題。附教學設計、縮寫符號、詞匯索引等，便于學習。 國家級教學名師蔣宗禮教授經典力作新版！普通高等教育國家級規劃教材，普通高等教育精品教材。同類教材中*具影響力，發行量*多。
形式語言與自動機理論(第4版) 內容簡介
形式語言與自動機理論是計算機類專業的一門重要課程。本書是作者結合其近40年來在大學講授該門課程的經驗和體會，選擇和組織有關內容撰寫而成；谟嬎銠C問題求解的需要討論正則語言和上下文無關語言的文法、識別模型及其性質，圖靈機的基本知識。其內容特點是抽象和形式化，既有嚴格的理論證明，又具有很強的構造性。敘述中特別注意引導讀者分析與解決問題，以培養學生的形式化描述和抽象思維能力，使學生了解和初步掌握“問題、形式化、自動化（計算機化）”的解題思路。為了便于學生對內容的掌握，附錄A還給出了建議的教學設計。 本書配套出版有《形式語言與自動機理論教學參考書》（第4版），歸納各章知識點，解讀主要內容，解析典型習題。 本書適合作為計算機學科研究生和高年級本科生的教材，也可供相關專業的學生、教師和科研人員參考。
形式語言與自動機理論(第4版) 目錄
目錄CONTENTS
第1章緒論1
1.1集合的基礎知識2
1.1.1集合及其表示2
1.1.2集合之間的關系4
1.1.3集合的運算5
1.2關系10
1.2.1二元關系10
1.2.2等價關系與等價類11
1.2.3關系的合成12
1.2.4遞歸定義與歸納證明13
1.2.5關系的閉包15
1.3圖16
1.3.1無向圖16
1.3.2有向圖17
1.3.3樹19
1.4語言20
1.4.1什么是語言20
1.4.2形式語言與自動機理論的產生與作用21
1.4.3基本概念23
1.5小結29
習題29
第2章文法36
2.1啟示37
2.2形式定義39
2.3文法的構造47
2.4文法的喬姆斯基體系55
2.5空語句65
2.6小結67
習題68
第3章有窮狀態自動機71
3.1語言的識別71
3.2有窮狀態自動機73
3.3不確定的有窮狀態自動機84
3.3.1作為對DFA的修改84
3.3.2NFA的形式定義86
3.3.3NFA與DFA等價92
3.4帶空移動的有窮狀態自動機96
3.5FA是正則語言的識別器100
3.5.1FA與右線性文法100
3.5.2FA與左線性文法104
3.6FA的一些變形105
3.6.1雙向有窮狀態自動機105
3.6.2帶輸出的FA107
3.7小結108
習題108
第4章正則表達式114
4.1啟示114
4.2正則表達式的形式定義115
4.3正則表達式與FA等價117
4.3.1正則表達式到FA的等價變換117
4.3.2正則語言可以用正則表達式表示125
4.4正則語言等價模型的總結130
4.5小結131
習題132第5章正則語言的性質134
5.1正則語言的泵引理134
5.2正則語言的封閉性139
5.3MyhillNerode定理與DFA的極小化145
5.3.1MyhillNerode定理146
5.3.2DFA的極小化154
5.4關于正則語言的判定算法161
5.5小結163
習題163
第6章上下文無關語言166
6.1上下文無關文法166
6.1.1上下文無關文法的派生樹167
6.1.2二義性172
6.1.3自頂向下的分析和自底向上的分析175
6.2上下文無關文法的化簡177
6.2.1去無用符號178
6.2.2去ε產生式181
6.2.3去單一產生式組184
6.3喬姆斯基范式187
6.4格雷巴赫范式190
6.5自嵌套文法195
6.6小結196
習題196
第7章下推自動機200
7.1基本定義200
7.2PDA與CFG等價206
7.2.1PDA用空棧接受和用終止狀態接受等價206
7.2.2PDA與CFG等價209
7.3小結218
習題219
第8章上下文無關語言的性質221
8.1上下文無關語言的泵引理221
8.2上下文無關語言的封閉性227
8.3上下文無關語言的判定算法232
8.3.1L空否的判定232
8.3.2L是否有窮的判定233
8.3.3x是否為L的句子的判定234
8.4小結236
習題236
第9章圖靈機238
9.1基本概念239
9.1.1基本圖靈機239
9.1.2圖靈機作為非負整函數的計算模型246
9.1.3圖靈機的構造248
9.2圖靈機的變形255
9.2.1雙向無窮帶圖靈機255
9.2.2多帶圖靈機258
9.2.3不確定的圖靈機260
9.2.4多維圖靈機261
9.2.5其他圖靈機263
9.3通用圖靈機265
9.4幾個相關的概念267
9.4.1可計算性267
9.4.2P與NP相關問題267
9.5小結268
習題268
第10章上下文有關語言272
10.1圖靈機與短語結構文法的等價性272
10.2線性有界自動機及其與上下文有關文法的等價性275
10.3小結276
習題277
附錄A教學設計278
A.1課程概述278
A.1.1基本描述278
A.1.2教學定位278
A.1.3教學目標279
A.1.4知識點與學時分配280
A.2課堂講授282
A.2.1重點與難點282
A.2.2講授中應注意的方法等問題287
A.3作業289
A.3.1指導思想289
A.3.2關于大作業和實驗289
A.4課程考試與成績評定289
A.4.1成績評定289
A.4.2考題設計291
附錄B縮寫符號293
詞匯索引295
參考文獻302
展開全部
形式語言與自動機理論(第4版) 作者簡介
蔣宗禮1978年3月至1984年7月在哈爾濱工業大學計算機系學習，曾經到美國、加拿大進修，自1984年起先后在哈爾濱工業大學和北京工業大學主講編譯原理、形式語言與自動機理論、人工神經網絡基礎等課程。2011年獲國家級教學名師，2018年入選國家萬人計劃“教學名師”，國家級教學團隊、國家級一流建設專業、國家精品課程、國家精品資源共享課負責人,主編有國家級精品教材，獲國家教學成果二等獎2項，另有30來項省部級教學、科研成果獎。曾獲中國高校優秀青年學者、寶鋼優秀教師、航天部優秀青年教師、首都勞動獎章等。主要學術兼職有教育部高等學校計算機類專業教學指導委員會副主任、全國高校計算機教育研究會副理事長、中國計算機學會教育專委副主任，中國工程教育認證協會結論審議委員會委員、計算機類專業認證委員會委員。
書友推薦
- >
山海經
- >
月亮虎
- >
經典常談
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
二體千字文
- >
詩經-先民的歌唱
- >
月亮與六便士
- >
推拿
本類暢銷
