123,123

內(nèi)容簡(jiǎn)介

　　形式語(yǔ)言與自動(dòng)機(jī)理論是計(jì)算機(jī)科學(xué)與技術(shù)專(zhuān)業(yè)的一門(mén)重要課程。本書(shū)是作者結(jié)合其20余年來(lái)在大學(xué)講授該門(mén)課程的經(jīng)驗(yàn)和體會(huì)，選擇和組織有關(guān)內(nèi)容撰寫(xiě)而成。不僅含有有關(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ì)。本書(shū)配套出版有《形式語(yǔ)言與自動(dòng)機(jī)理論教學(xué)參考書(shū)（第2版）》，歸納各章知識(shí)點(diǎn)，解讀主要內(nèi)容，解析典型習(xí)題。本書(shū)適合作為計(jì)算機(jī)科學(xué)與技術(shù)專(zhuān)業(yè)的高年級(jí)本科生、研究生的教材，也可供相關(guān)專(zhuān)業(yè)的學(xué)生、教師和科研人員參考。

作者簡(jiǎn)介

暫缺《形式語(yǔ)言與自動(dòng)機(jī)理論（第2版）》作者簡(jiǎn)介

圖書(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 等價(jià)關(guān)系與等價(jià)類(lèi)
　　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í)題82
第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é)
　習(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í)題153
第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 縮寫(xiě)符號(hào)
詞匯索引
參考文獻(xiàn)