形式語言與自動機理論教學(xué)參考書

第1章 緒論
1.1 集合的基礎(chǔ)知識
1.1.1 集合及其表示
1.1.2 集合之間的關(guān)系
1.1.3 集合的運算
1.2 關(guān)系
1.2.1 二元關(guān)系
1.2.2 遞歸定義與歸納證明
1.2.3 關(guān)系的閉包
1.3 圖
1.3.1 無向圖
1.3.2 有向圖
1.3.3 樹
1.4 語言
1.4.1 什么是語言
1.4.2 形式語言與自動機理論的產(chǎn)生與作用
1.4.3 基本概念
1.5 小結(jié)
1.6 典型習(xí)題解析
第2章 文法
2.1 啟示
2.2 形式定義
2.3 文法的構(gòu)造
2.4 文法的喬姆斯基體系
2.5 空語句
2.6 小結(jié)
2.7 典型習(xí)題解析
第3章 有窮狀態(tài)自動機
3.1 語言的識別
3.2 有窮狀態(tài)的自動機
3.3 不確定的有究狀態(tài)自動機
3.3.1 作為對DFA的修改
3.3.2 不確定的有窮狀態(tài)自動機的形式定義
3.3.3 NFA與DFA等價
3.4 帶空移動的有窮狀態(tài)自動機
3.5 FA是正則語言的識別器
3.5.1 FA與右線性文法
3.5.2 FA與左線性文法
3.6 FA的一些變形
3.6.1 雙向有窮狀態(tài)自動機
3.6.2 帶輸出的FA
3.7 小結(jié)
3.8 典型習(xí)題解析
第4章 正則表達式
4.1 啟示
4.2 正則表達式的形式定義
4.3 正則表達式與FA等價
4.3.1 正則表達式到FA的等價變換
4.3.2 正則語言可以用正則表達式表示
4.4 正則語言等價模型的總結(jié)
4.5 小結(jié)
4.6 典型習(xí)題解析
第5章 正則語言的性質(zhì)
5.1 正則語言的泵引理
5.2 正則語言的封閉性
5.3 Myhill-Nerode定理與DFA的極小化
5.3.1 Myhill-Nerode定理
5.3.2 DFA的極小化
5.4 關(guān)于正則語言的判定算法
5.5 小結(jié)
5.6 典型習(xí)題解析
第6章 上下文無關(guān)語言
6.1 上下文無關(guān)語言
6.1.1 上下文無關(guān)文法的派生樹
6.1.2 二義性
6.1.3 自頂向下的分析和自底向上的分析
6.2 上下文無關(guān)文法的化簡
6.2.1 去無用符號
6.2.2 去€-產(chǎn)生式
6.2.3 去單一產(chǎn)生式
6.3 喬姆斯基范式
6.4 格雷巴赫范式
6.5 自嵌套文法
6.6 小結(jié)
6.7 典型習(xí)題解析
第7章 下推自動機
7.1 基本定義
7.2 PDA與CFG等價
7.2.1 PDA用空棧接受和用終止?fàn)顟B(tài)接受等價
7.2.2 PDA與CFG等價
7.3 小結(jié)
7.4 典型習(xí)題解析
第8章 上下文無關(guān)語言的性質(zhì)
8.1 上下文無關(guān)語言的泵引理
8.2 上下文無關(guān)語言的封閉性
8.3 CFL的判定算法
8.3.1 L空否的判定
8.3.2 L是否有窮的判定
8.3.3 x是否為L的句子的判定
8.4 小結(jié)
8.5 典型習(xí)題解析
第9章 圖靈機
9.1 基本概念
9.1.1 基本圖靈機
9.1.2 圖靈機作為非負整函數(shù)的計算模型
9.1.3 圖靈機的構(gòu)造
9.2 圖靈機的變形
9.2.1 雙向無窮帶圖靈機
9.2.2 多帶圖靈機
9.2.3 不確定的圖靈機
9.2.4 多維圖靈機
9.2.5 其他圖靈機
9.3 通用圖靈機
9.4 幾個相關(guān)的概念
9.4.1 可計算性
9.4.2 P與NP相關(guān)的問題
9.5 小結(jié)
9.6 典型解析
第10章 上下文有關(guān)語言
10.1 圖靈機與短語結(jié)構(gòu)文法的等價性
10.2 線性有界自動機及其與上下文有關(guān)文法的等價性
10.3 小結(jié)
10.4 典型習(xí)題解析
第11章 內(nèi)容歸納
11.1 文法與語言
11.2 下則語言
11.3 上下文無關(guān)語言
11.4 圖靈機
11.5 上下文有關(guān)語言
第12章 教學(xué)設(shè)計
12.1 概述
12.2 課程內(nèi)容體系
12.2.1 課程的基本描述
12.2.2 教學(xué)定位
12.2.3 知識點與學(xué)時分配
12.3 講授提示
12.3.1 重點與難點
12.3.2 講授中應(yīng)注意的方法等問題
12.4 習(xí)題與實驗
12.4.1 指導(dǎo)思想
12.4.2 關(guān)于大作業(yè)和實驗
12.5 考試與成績記載
12.5.1 成績評定
12.5.2 考題設(shè)計
參考文獻