相關商品
商品簡介
目次
商品簡介
《形式語言與自動機/計算機科學與技術學科前沿叢書·計算機科學與技術學科研究生系列教材（中文版）》介紹了形式語言和自動機的基本理論和基本方法，主要內容包括計算理論基礎、文法和語言、上下文無關文法及其語言、有窮狀態自動機、正則語言與正則文法、正則語言的性質、下推自動機與上下文無關文法、上下文無關語言的性質、圖靈機、圖靈機的其他模型和其他計算模型等內容。本書可作為高等院校計算機科學與技術及相關專業的教材，也可作為教師、研究生或軟件技術人員的參考書。
目次
第1章 計算理論基礎
1．1 集合的基本概念
1．1．1 集合的定義
1．1．2 集合的表示
1．1．3 集合間的關系
1．1．4 集合的運算
1．2 關系
1．2．1 二元關系
1．2．2 二元關系的性質
1．2．3 等價關系
1．2．4 遞歸定義與歸納證明
1．3 圖與樹
1．3．1 無向圖
1．3．2 有向圖
1．3．3 樹
1．3．4 二叉樹
1．4 三個重要概念
習題
第2章 文法與語言
2．1 啟示
2．2 文法的形式定義
2．3 文法的構造
2．4 文法的Chomsky體系
習題
第3章 上下文無關文法及其語言
3．1 上下文無關文法
3．1．1 派生與派生樹
3．1．2 文法的二義性
3．2 文法和語言的討論
3．3 句法分析
3．3．1 左派生和不確定性
3．3．2 文法圖
3．3．3 廣度優先自頂向下句法分析
3．3．4 深度優先自頂向下分析
3．3．5 自底向上分析
3．4 上下文無關文法的化簡
3．4．1 無用符號
3．4．2 消除ε產生式
3．4．3 消除單一產生式
3．4．4 消除左遞歸
3．5 Chomsky范式
3．6 Greibach范式
習題
第4章 有窮狀態自動機
4．1 語言的識別
4．2 有窮狀態自動機的形式定義
4．3 確定的有窮自動機
4．4 狀態轉換圖
4．5 不確定的有窮自動機
4．6 NFA與DFA的等價
4．7 帶空轉移的NFA
4．8 ε-NFA的確定化
4．9 DFA小化
習題
第5章 正則語言和正則文法
5．1 正則表達式
5．1．1 正則表達式的定義
5．1．2 正則語言
5．2 有窮自動機和正則語言
5．2．1 正則表達式到有窮自動機
5．2．2 有窮自動機到正則表達式
5．3 正則文法和有窮自動機
5．3．1 正則文法
5．3．2 正則文法與NFA
習題
第6章 正則語言的性質
6．1 正則語言的封閉性
6．1．1 簡單運算的封閉性
6．1．2 其他運算的封閉性
6．2 非正則語言的識別
6．2．1 鴿巢原理
6．2．2 泵引理
6．3 Myhill Nerode定理
6．4 正則語言的判定算法
習題
第7章 下推自動機與上下文無關文法
第8章 上下文無關語言的性質
第9章 圖靈機
第10章 圖靈機的其他模型
第11章 其他計算模型
參考文獻
1．1 集合的基本概念
1．1．1 集合的定義
1．1．2 集合的表示
1．1．3 集合間的關系
1．1．4 集合的運算
1．2 關系
1．2．1 二元關系
1．2．2 二元關系的性質
1．2．3 等價關系
1．2．4 遞歸定義與歸納證明
1．3 圖與樹
1．3．1 無向圖
1．3．2 有向圖
1．3．3 樹
1．3．4 二叉樹
1．4 三個重要概念
習題
第2章 文法與語言
2．1 啟示
2．2 文法的形式定義
2．3 文法的構造
2．4 文法的Chomsky體系
習題
第3章 上下文無關文法及其語言
3．1 上下文無關文法
3．1．1 派生與派生樹
3．1．2 文法的二義性
3．2 文法和語言的討論
3．3 句法分析
3．3．1 左派生和不確定性
3．3．2 文法圖
3．3．3 廣度優先自頂向下句法分析
3．3．4 深度優先自頂向下分析
3．3．5 自底向上分析
3．4 上下文無關文法的化簡
3．4．1 無用符號
3．4．2 消除ε產生式
3．4．3 消除單一產生式
3．4．4 消除左遞歸
3．5 Chomsky范式
3．6 Greibach范式
習題
第4章 有窮狀態自動機
4．1 語言的識別
4．2 有窮狀態自動機的形式定義
4．3 確定的有窮自動機
4．4 狀態轉換圖
4．5 不確定的有窮自動機
4．6 NFA與DFA的等價
4．7 帶空轉移的NFA
4．8 ε-NFA的確定化
4．9 DFA小化
習題
第5章 正則語言和正則文法
5．1 正則表達式
5．1．1 正則表達式的定義
5．1．2 正則語言
5．2 有窮自動機和正則語言
5．2．1 正則表達式到有窮自動機
5．2．2 有窮自動機到正則表達式
5．3 正則文法和有窮自動機
5．3．1 正則文法
5．3．2 正則文法與NFA
習題
第6章 正則語言的性質
6．1 正則語言的封閉性
6．1．1 簡單運算的封閉性
6．1．2 其他運算的封閉性
6．2 非正則語言的識別
6．2．1 鴿巢原理
6．2．2 泵引理
6．3 Myhill Nerode定理
6．4 正則語言的判定算法
習題
第7章 下推自動機與上下文無關文法
第8章 上下文無關語言的性質
第9章 圖靈機
第10章 圖靈機的其他模型
第11章 其他計算模型
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。