普通高等教育精品教材·21世紀(jì)大學(xué)本科計(jì)算機(jī)專業(yè)系列教材：形式語(yǔ)言與自動(dòng)機(jī)理論（第3版）
定 價(jià)：36 元
叢書(shū)名：“十二五”普通高等教育本科國(guó)家級(jí)規(guī)劃教材
- 作者：蔣宗禮 ，姜守旭 著
- 出版時(shí)間：2013/5/1
- ISBN：9787302318026
- 出 版 社：清華大學(xué)出版社
- 中圖法分類：TP301.2
- 頁(yè)碼：286
- 紙張：膠版紙
- 版次：3
- 開(kāi)本：16開(kāi)
形式語(yǔ)言與自動(dòng)機(jī)理論是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的一門重要課程�！镀胀ǜ叩冉逃方滩摹�21世紀(jì)大學(xué)本科計(jì)算機(jī)專業(yè)系列教材：形式語(yǔ)言與自動(dòng)機(jī)理論（第3版）》是作者結(jié)合其20余年來(lái)在大學(xué)講授該門課程的經(jīng)驗(yàn)和體會(huì)，選擇和組織有關(guān)內(nèi)容撰寫而成。不僅含有有關(guān)正則語(yǔ)言、上下文無(wú)關(guān)語(yǔ)言的文法、識(shí)別模型及其性質(zhì)、圖靈機(jī)的基本知識(shí)，更涉及到本學(xué)科方法論中所包含的3個(gè)學(xué)科形態(tài)。其內(nèi)容特點(diǎn)是抽象和形式化，既有嚴(yán)格的理論證明，又具有很強(qiáng)的構(gòu)造性，從而培養(yǎng)學(xué)生的形式化描述和抽象思維能力，使學(xué)生了解和初步掌握“問(wèn)題、形式化、自動(dòng)化（計(jì)算機(jī)化）”的解題思路。為了便于學(xué)生對(duì)內(nèi)容的掌握，附錄A還給出了建議的教學(xué)設(shè)計(jì)。
《普通高等教育精品教材·21世紀(jì)大學(xué)本科計(jì)算機(jī)專業(yè)系列教材：形式語(yǔ)言與自動(dòng)機(jī)理論（第3版）》配套出版有《形式語(yǔ)言與自動(dòng)機(jī)理論教學(xué)參考書(shū)（第3版）》，歸納各章知識(shí)點(diǎn)，解讀主要內(nèi)容，解析典型習(xí)題。
《普通高等教育精品教材·21世紀(jì)大學(xué)本科計(jì)算機(jī)專業(yè)系列教材：形式語(yǔ)言與自動(dòng)機(jī)理論（第3版）》適合作為計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的高年級(jí)本科生、研究生的教材，也可供相關(guān)專業(yè)的學(xué)生、教師和科研人員參考。
《普通高等教育精品教材·21世紀(jì)大學(xué)本科計(jì)算機(jī)專業(yè)系列教材：形式語(yǔ)言與自動(dòng)機(jī)理論（第3版）》集作者30余年相應(yīng)課程的教學(xué)經(jīng)驗(yàn)和20余年對(duì)專業(yè)教育的研究體會(huì)編著而成。自第1版在2003年出版以來(lái)，受到讀者的厚愛(ài)，成為國(guó)內(nèi)主創(chuàng)的、發(fā)行量最大、最優(yōu)秀的形式語(yǔ)言與自動(dòng)機(jī)理論教材。第1版獲北京市教學(xué)成果等獎(jiǎng)、北京市精品教材，第2版獲國(guó)家級(jí)2008年度普通高等教育精品教材、北京市精品教材�！ ねㄟ^(guò)模型建立，等價(jià)變換、性質(zhì)分析，使讀者逐漸熟悉模型計(jì)算。層次分明，循序漸進(jìn)符合認(rèn)知規(guī)律，突出設(shè)計(jì)形態(tài)，很好地體現(xiàn)了本專業(yè)理工兼有的特征和學(xué)科“抽象第一”的基本教育原理�！ ひ龑�(dǎo)能力導(dǎo)向的教育。以知識(shí)為載體，注重模型建立、構(gòu)造、變換、證明的方法與思想討論，挖掘知識(shí)背后的內(nèi)容，支持研究性教學(xué)，強(qiáng)化專業(yè)基本能力和創(chuàng)新能力的培養(yǎng)在。 ·取材合適，結(jié)構(gòu)嚴(yán)謹(jǐn)，深入淺出，把握知識(shí)點(diǎn)間的聯(lián)系，安排鋪墊，分散難點(diǎn)，突出重點(diǎn)，努力化解深?yuàn)W，保持基本內(nèi)容抽象和形式化，通過(guò)思路表達(dá)的可視化提高了易懂性，富有發(fā)性，使抽象、枯燥的內(nèi)容變得吸引人�！ づ溆写罅侩y度適當(dāng)、前后呼應(yīng)、富有啟發(fā)性、努力結(jié)合專業(yè)、宏觀和微觀兼有的習(xí)題。教學(xué)設(shè)計(jì)、縮寫符號(hào)、詞匯索引等，便于學(xué)習(xí)。
蔣宗禮，1978年3月至1984年7月在哈爾濱工業(yè)大學(xué)計(jì)算機(jī)學(xué)科學(xué)習(xí)，曾經(jīng)到美國(guó)、加拿大進(jìn)修，自1984年起先后在哈爾濱工業(yè)大學(xué)和北京工業(yè)大學(xué)主講編譯原理、形式語(yǔ)言與自動(dòng)機(jī)理論、人工神經(jīng)網(wǎng)絡(luò)等課程。國(guó)家級(jí)教學(xué)名師，國(guó)家級(jí)教學(xué)團(tuán)隊(duì)負(fù)責(zé)人，國(guó)家精品課程、國(guó)家精品資源共享課（立項(xiàng)）負(fù)責(zé)人，主編有國(guó)家級(jí)精品教材，獲國(guó)家教學(xué)成果二等獎(jiǎng)2項(xiàng)，另有十余項(xiàng)省部級(jí)教學(xué)、科研成果一、二、三等獎(jiǎng)。曾獲中國(guó)高校優(yōu)秀青年學(xué)者、寶鋼優(yōu)秀教師、航天部?jī)?yōu)秀青年教師等榮譽(yù)稱號(hào)。主要學(xué)術(shù)兼職有中國(guó)工程教育認(rèn)證協(xié)會(huì)（籌）學(xué)術(shù)委員會(huì)委員、2012-2013年度結(jié)論審議委員會(huì)委員、計(jì)算機(jī)類專業(yè)認(rèn)證分委員會(huì)成員，教育部高等學(xué)校計(jì)算機(jī)類專業(yè)教學(xué)指導(dǎo)委員會(huì)副主任、全國(guó)高校計(jì)算機(jī)教育研究會(huì)理事長(zhǎng)、中國(guó)計(jì)算機(jī)學(xué)會(huì)教育專業(yè)委受會(huì)副主任。
第1章 緒論
1.1 集合的基礎(chǔ)知識(shí)
1.1.1 集合及其表示
1.1.2 集合之間的關(guān)系
1.1.3 集合的運(yùn)算
1.2 關(guān)系
1.2.1 二元關(guān)系
1.2.2 等價(jià)關(guān)系與等價(jià)類
1.2.3 關(guān)系的合成
1.2.4 遞歸定義與歸納證明
1.2.5 關(guān)系的閉包
1.3 圖19
1.3.1 無(wú)向圖
1.3.2 有向圖
1.3.3 樹(shù)
1.4 語(yǔ)言
1.4.1 什么是語(yǔ)言
1.4.2 形式語(yǔ)言與自動(dòng)機(jī)理論的產(chǎn)生與作用
1.4.3 基本概念
1.5 小結(jié)
習(xí)題
第2章 文法
2.1 啟示
2.2 形式定義
2.3 文法的構(gòu)造
2.4 文法的喬姆斯基體系
2.5 空語(yǔ)句
2.6 小結(jié)
習(xí)題
第3章 有窮狀態(tài)自動(dòng)機(jī)
3.1 語(yǔ)言的識(shí)別
3.2 有窮狀態(tài)自動(dòng)機(jī)
3.3 不確定的有窮狀態(tài)自動(dòng)機(jī)
3.3.1 作為對(duì)DFA的修改
3.3.2 NFA的形式定義
3.3.3 NFA與DFA等價(jià)
3.4 帶空移動(dòng)的有窮狀態(tài)自動(dòng)機(jī)
3.5 FA是正則語(yǔ)言的識(shí)別器
3.5.1 FA與右線性文法
3.5.2 FA與左線性文法
3.6 FA的一些變形
3.6.1 雙向有窮狀態(tài)自動(dòng)機(jī)
3.6.2 帶輸出的FA
3.7 小結(jié)
習(xí)題
第4章 正則表達(dá)式
4.1 啟示
4.2 正則表達(dá)式的形式定義
4.3 正則表達(dá)式與FA等價(jià)
4.3.1 正則表達(dá)式到FA的等價(jià)變換
4.3.2 正則語(yǔ)言可以用正則表達(dá)式表示
4.4 正則語(yǔ)言等價(jià)模型的總結(jié)
4.5 小結(jié)
習(xí)題
第5章 正則語(yǔ)言的性質(zhì)
5.1 正則語(yǔ)言的泵引理
……
第6章 上下文無(wú)關(guān)語(yǔ)言
第7章 下推自動(dòng)機(jī)
第8章 上下文無(wú)關(guān)語(yǔ)言的性質(zhì)
第9章 圖靈機(jī)
第10章 上下文有關(guān)語(yǔ)言
附錄A 教學(xué)設(shè)計(jì)
附錄B 縮寫符號(hào)
詞匯索引
參考文獻(xiàn)
書(shū)單推薦
