123,123

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

　　《有限自動(dòng)機(jī)理論》簡(jiǎn)述形式語(yǔ)言的基本內(nèi)容，包括文法的分類、構(gòu)造方法和語(yǔ)言間運(yùn)算的封閉性。系統(tǒng)地論述三類有限自動(dòng)機(jī)——有限狀態(tài)自動(dòng)機(jī)、下推自動(dòng)機(jī)和圖靈機(jī)的基礎(chǔ)理論。從文法產(chǎn)生語(yǔ)言的角度和自動(dòng)機(jī)識(shí)別語(yǔ)言的角度對(duì)語(yǔ)言進(jìn)行討論，介紹了文法與等價(jià)的自動(dòng)機(jī)之間的轉(zhuǎn)換方法以及有限自動(dòng)機(jī)的一些典型應(yīng)用?！队邢拮詣?dòng)機(jī)理論》以新的思維方式為讀者提供了一把鑰匙，主要培養(yǎng)讀者的獨(dú)立思考能力，使用符號(hào)化的系統(tǒng)描述程序設(shè)計(jì)語(yǔ)言或自然語(yǔ)言的語(yǔ)法結(jié)構(gòu)的能力，以及構(gòu)造自動(dòng)機(jī)的能力?！队邢拮詣?dòng)機(jī)理論》可作為高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科各專業(yè)研究生的教材或參考書，也可作為計(jì)算機(jī)應(yīng)用領(lǐng)域內(nèi)廣大科技人員的參考書。

作者簡(jiǎn)介

暫缺《有限自動(dòng)機(jī)理論》作者簡(jiǎn)介

圖書目錄

第1章基礎(chǔ)知識(shí)
1．1 集合及其運(yùn)算
1．2 關(guān)系
1．2．1 二元關(guān)系
1．2．2 等價(jià)關(guān)系
1．2．3 關(guān)系的合成
1．3 證明和證明的方法
1．3．1 反證法
1．3．2 歸納法
1．3．3 遞歸的定義與歸納證明
1．4 圖與樹
1．5 語(yǔ)言
1．6 常用術(shù)語(yǔ)
1．7 形式語(yǔ)言與自動(dòng)機(jī)的發(fā)展
習(xí)題1
第2章形式語(yǔ)言簡(jiǎn)介
2．1 例子語(yǔ)言
2．2 文法和語(yǔ)言的關(guān)系
2．2．1 文法
2．2．2 語(yǔ)言
2．2．3 文法和語(yǔ)言的3類問(wèn)題
2．3 Chomskv對(duì)文法和語(yǔ)言的分類
2．4 文法產(chǎn)生語(yǔ)言
2．5 無(wú)用非終結(jié)符
2．6 推導(dǎo)樹
2．7 空串定理
2．8 消除左遞歸
2．8．1 消除直接左遞歸
2．8．2 消除間接左遞歸
2．9 上下文無(wú)關(guān)文法的另一種表示
2．10 語(yǔ)言之間的運(yùn)算及運(yùn)算的封閉性
2．10．1 語(yǔ)言之間的基本運(yùn)算
2．10．2 語(yǔ)言之間的運(yùn)算的封閉性
2．10．3 語(yǔ)言之間的其他運(yùn)算
2．11 正則表達(dá)式和正則集
習(xí)題2
第3章有限狀態(tài)自動(dòng)機(jī)
3．1 有限狀態(tài)自動(dòng)機(jī)
3．2 確定的有限狀態(tài)自動(dòng)機(jī)接收的語(yǔ)言
3．3 確定的有限狀態(tài)自動(dòng)機(jī)接收語(yǔ)言的例子
3．4 不確定的有限狀態(tài)自動(dòng)機(jī)
3．4．1 不確定的有限狀態(tài)自動(dòng)機(jī)
3．4．2 不確定的有限狀態(tài)自動(dòng)機(jī)的確定化
3．5 帶有s動(dòng)作的有限狀態(tài)自動(dòng)機(jī)
3．6 有限狀態(tài)自動(dòng)機(jī)的一些變形
3．6．1 雙向的有限狀態(tài)自動(dòng)機(jī)
3．6．2 帶有輸出的有限狀態(tài)自動(dòng)機(jī)
3．7 有限狀態(tài)接收機(jī)的存儲(chǔ)技術(shù)
3．8 有限狀態(tài)自動(dòng)機(jī)應(yīng)用實(shí)例
習(xí)題3