形式語(yǔ)言與自動(dòng)機(jī)理論教學(xué)參考書(shū)

內(nèi)容概要

本書(shū)根據(jù)作者對(duì)計(jì)算機(jī)科學(xué)與技術(shù)專(zhuān)業(yè)教育特點(diǎn)的理解和“21世紀(jì)大學(xué)本科計(jì)算機(jī)專(zhuān)業(yè)系列教材”編寫(xiě)的總體要求，作為《形式語(yǔ)言與自動(dòng)機(jī)理論（第2版）》（主教材）一書(shū)的配套教學(xué)輔導(dǎo)用書(shū)，按照主教材的結(jié)構(gòu)編寫(xiě)而成。本書(shū)包括有關(guān)內(nèi)容的講解、學(xué)習(xí)要點(diǎn)、問(wèn)題分析、求解思路和方法、注意事項(xiàng)、典型習(xí)題的解析等內(nèi)容，并且按照小節(jié)給出知識(shí)點(diǎn)和主要內(nèi)容解讀。為讀者學(xué)習(xí)和掌握主教材中的知識(shí)點(diǎn)和問(wèn)題求解方法，體會(huì)問(wèn)題求解的核心思想提供幫助，對(duì)教師和學(xué)生來(lái)說(shuō)，閱讀這些內(nèi)容都是很有意義的。

書(shū)籍目錄

第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 遞歸定義與歸納證明   1.2.3 關(guān)系的閉包  1.3 圖   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é)  1.6 典型習(xí)題解析第2章 文法  2.1 啟示  2.2 形式定義  2.3 文法的構(gòu)造  2.4 文法喬姆基體系  2.5 空語(yǔ)句  2.6 小結(jié)  2.7 典型習(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與右線(xiàn)性文法    3.5.2 FA與左線(xiàn)性文法  3.6 FA的一些變形    3.6.1 雙向有窮狀態(tài)自動(dòng)機(jī)    3.6.2 帶輸出的FA  3.7 小結(jié)  3.8 典型題解析第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é)  4.6 典型習(xí)題解析第5章 正則語(yǔ)言的性質(zhì)  5.1 正則語(yǔ)言的泵引理   5.2 正則語(yǔ)言的封閉性  5.3 Myhill-Nerode定理與DFA的極小化   5.3.1 Myhill-Nerode定理   5.3.2 DFA的極小化  5.4 關(guān)于正則語(yǔ)言的判定算法  5.5 小結(jié)  5.6 典型習(xí)題解析第6章 上下文無(wú)關(guān)語(yǔ)言  6.1 上下文無(wú)關(guān)文法   6.1.1 上下文無(wú)關(guān)文法的派生樹(shù)   6.1.2 二義性   6.1.3 自頂向下的分析和自底向上的分析  6.2 上下文無(wú)關(guān)文法的化簡(jiǎn)   6.2.1 去無(wú)用符號(hào)   6.2.2 去ε-產(chǎn)生式   6.2.3 去單一產(chǎn)生式  6.3 喬姆斯基范式  6.4 格雷巴赫范式  6.5 自嵌套文法  6.6 小結(jié)  6.7 典型習(xí)題解析第7章 下推自動(dòng)機(jī)  7.1 基本定義  7.2 PDA與CFG等價(jià)   7.2.1 PDA用空棧接受和用終止?fàn)顟B(tài)接受等價(jià)   7.2.2 PDA與CFG等價(jià)  7.3 小結(jié)  7.4 典型習(xí)題解析第8章 上下文無(wú)關(guān)語(yǔ)言的性質(zhì)  8.1 上下文無(wú)關(guān)語(yǔ)言的泵引理  8.2 上下文無(wú)關(guān)語(yǔ)言的封閉性  8.3 上下文無(wú)關(guān)語(yǔ)言的判定算法   8.3.1 L空否判定   8.3.2 L是否有窮的判定   8.3.3 Ｘ是否為Ｌ的句子的判定  8.4 小結(jié)  8.5 典型習(xí)題解析第9章 圖靈機(jī)  9.1 基本概念   9.1.1 基本圖靈機(jī)   9.1.2 圖靈機(jī)作為非負(fù)整函數(shù)的計(jì)算模型   9.1.3 圖靈的構(gòu)造  9.2 圖靈機(jī)的變形   9.2.1 雙向無(wú)窮帶圖靈機(jī)   9.2.2 多帶圖靈機(jī)   9.2.3 不確定的圖靈機(jī)   9.2.4 多維圖靈機(jī)   9.2.5 其他圖靈機(jī)  9.3 通用圖靈機(jī)  9.4 幾個(gè)相關(guān)的概念   9.4.1 可計(jì)算性   9.4.2 P與NP的相關(guān)問(wèn)題  9.5 小結(jié)   9.6 典型習(xí)題解析第10章 上下文有關(guān)語(yǔ)言第11章 內(nèi)容歸納第12章 教學(xué)設(shè)計(jì)參考文獻(xiàn)

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    形式語(yǔ)言與自動(dòng)機(jī)理論教學(xué)參考書(shū) PDF格式下載

---