形式語言與自動機理論 (第4版) 蔣宗禮 姜守旭 9787302636250 【台灣高等教育出版社】

*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為正確資訊。
印行年月：202306*若逾兩年請先於客服中心或Line洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：形式語言與自動機理論 (第4版)
ISBN：9787302636250
出版社：清華大學
著編譯者：蔣宗禮 姜守旭
叢書名：21世紀大學本科計算機專業系列教材
頁數：301
所在地：中國大陸 *此為代購商品
書號：1534471
可大量預訂，請先連絡。

內容簡介

形式語言與自動機理論是計算機類專業的一門重要課程。本書是作者結合其近40年來在大學講授該門課程的經驗和體會，選擇和組織有關內容撰寫而成。基於計算機問題求解的需要討論正則語言和上下文無關語言的文法、識別模型及其性質，圖靈機的基本知識。其內容特點是抽象和形式化，既有嚴格的理論證明，又具有很強的構造性。敘述中特別注意引導讀者分析與解決問題，以培養學生的形式化描述和抽象思維能力，使學生了解和初步掌握「問題、形式化、自動化（計算機化）」的解題思路。為了便於學生對內容的掌握，附錄A還給出了建議的教學設計。 本書配套出版有《形式語言與自動機理論教學參考書》（第4版），歸納各章知識點，解讀主要內容，解析典型習題。 本書適合作為計算機學科研究生和高年級本科生的教材，也可供相關專業的學生、教師和科研人員參考。

作者簡介

蔣宗禮，北京工業大學教授，博士生導師，國家級教學名師，CCF傑出教育獎獲得者，中國工程教育專業認證資深專家。 1978年3月至1984年7月在哈爾濱工業大學計算機學科學習，先後到美國、加拿大進修，1984年起先後在哈爾濱工業大學和北京工業大學主講編譯原理、形式語言與自動機理論、資料庫系統原理、人工神經網絡、新生研討課等課程。 國家精品課程、國家精品資源共享課程「編譯原理」負責人，主編國家「十一五」「十二五」規劃教材(包括國家普通高等教育精品教材1部，市精品教材多部)，《人工神經網絡導論》等研究生教材，國家級優秀教學團隊負責人。獲國家教學成果獎2項，各種省市級教學、科研成果20餘項。曾獲中國高校優秀青年學者、寶鋼優秀教師、航天部優秀青年教師等榮譽稱號。 主要學術兼職有全國工程教育專業認證協會學術委員會、結論審議委員會、計算機類專業認證委員會委員，教育部高校計算機類專業教學指導委員會副主任，全國高校計算機教育研究會副理事長，中國計算機學會教育專業委員會副主任。

目錄

第1章 緒論
1 1 集合的基礎知識
1 1 1 集合及其表示
1 1 2 集合之間的關係
1 1 3 集合的運算
1 2 關係
1 2 1 二元關係
1 2 2 等價關係與等價類
1 2 3 關係的合成
1 2 4 遞歸定義與歸納證明
1 2 5 關係的閉包
1 3 圖
1 3 1 無向圖
1 3 2 有向圖
1 3 3 樹
1 4 語言
1 4 1 什麼是語言
1 4 2 形式語言與自動機理論的產生與作用
1 4 3 基本概念
1 5 小結
習題
第2章 文法
2 1 啟示
2 2 形式定義
2 3 文法的構造
2 4 文法的喬姆斯基體系
2 5 空語句
2 6 小結
習題
第3章 有窮狀態自動機
3 1 語言的識別
3 2 有窮狀態自動機
3 3 不確定的有窮狀態自動機
3 3 1 作為對DFA的修改
3 3 2 NFA的形式定義
3 3 3 NFA與DFA等價
3 4 帶空移動的有窮狀態自動機
3 5 FA是正則語言的識別器
3 5 1 FA與右線性文法
3 5 2 FA與左線性文法
3 6 FA的一些變形
3 6 1 雙向有窮狀態自動機
3 6 2 帶輸出的FA
3 7 小結
習題
第4章 正則表達式
4 1 啟示
4 2 正則表達式的形式定義
4 3 正則表達式與FA等價
4 3 1 正則表達式到FA的等價變換
4 3 2 正則語言可以用正則表達式表示
4 4 正則語言等價模型的總結
4 5 小結
習題
第5章 正則語言的性質
5 1 正則語言的泵引理
5 2 正則語言的封閉性
5 3 Myhill-Nerode定理與DFA的極小化
5 3 1 Myhill-Nerode定理
5 3 2 DFA的極小化
5 4 關於正則語言的判定演算法
5 5 小結
習題
第6章 上下文無關語言
6 1 上下文無關文法
6 1 1 上下文無關文法的派生樹
6 1 2 二義性
6 1 3 自頂向下的分析和自底向上的分析
6 2 上下文無關文法的化簡
6 2 1 去無用符號
6 2 2 去ε-產生式
6 2 3 去單一產生式組
6 3 喬姆斯基範式
6 4 格雷巴赫範式
6 5 自嵌套文法
6 6 小結
習題
第7章 下推自動機
7 1 基本定義
7 2 PDA與CFG等價
7 2 1 PDA用空棧接受和用終止狀態接受等價
7 2 2 PDA與CFG等價
7 3 小結
習題
第8章 上下文無關語言的性質
8 1 上下文無關語言的泵引理
8 2 上下文無關語言的封閉性
8 3 上下文無關語言的判定演算法
8 3 1 L空否的判定
8 3 2 L是否有窮的判定
8 3 3 ェ是否為L的句子的判定
8 4 小結
習題
第9章 圖靈機
9 1 基本概念
9 1 1 基本圖靈機
9 1 2 圖靈機作為非負整函數的計算模型
9 1 3 圖靈機的構造
9 2 圖靈機的變形
9 2 1 雙向無窮帶圖靈機
9 2 2 多帶圖靈機
9 2 3 不確定的圖靈機
9 2 4 多維圖靈機
9 2 5 其他圖靈機
9 3 通用圖靈機
9 4 幾個相關的概念
9 4 1 可計算性
9 4 2 P與NP相關問題
9 5 小結
習題
第10章 上下文有關語言
10 1 圖靈機與短語結構文法的等價性
10 2 線性有界自動機及其與上下文有關文法的等價性
10 3 小結
習題
附錄A 教學設計
A 1 課程概述
A 1 1 基本描述
A 1 2 教學定位
A 1 3 教學目標
A 1 4 知識點與學時分配
A 2 課堂講授
A 2 1 重點與難點
A 2 2 講授中應注意的方法等問題
A 3 作業
A 3 1 指導思想
A 3 2 關於大作業和實驗
A 4 課程考試與成績評定
A 4 1 成績評定
A 4 2 考題設計
附錄B 縮寫符號
詞彙索引
參考文獻
詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於客服中心或Line或本社留言板留言，我們即儘速上架。

大陸簡體正版圖書，訂購後正常情形下約兩周可抵台。