有限自動(dòng)機(jī)理論

定　價(jià)：￥19.00

作　者：	陳文宇
出版社：	電子科技出版社
叢編項(xiàng)：
標(biāo)　簽：	方法

購買這本書可以去

ISBN：	9787811144154	出版時(shí)間：	2007-03-01	包裝：	平裝
開本：	0開	頁數(shù)：	197	字?jǐn)?shù)：

內(nèi)容簡介

　　《有限自動(dòng)機(jī)理論》簡述了形式語言的基本內(nèi)容，包括文法的分類和語言間運(yùn)算的封閉性，有限自動(dòng)機(jī)（包括有限狀態(tài)自動(dòng)機(jī)、下推自動(dòng)機(jī)和圖靈機(jī)）的基礎(chǔ)理論，從構(gòu)造文法產(chǎn)生語言的角度和構(gòu)造自動(dòng)機(jī)識別語言的角度對語言進(jìn)行討論，并介紹文法與自動(dòng)機(jī)之間等價(jià)的轉(zhuǎn)換方法。《有限自動(dòng)機(jī)理論》以新的思維方式為讀者提供一把鑰匙。主要培養(yǎng)讀者的獨(dú)立思考能力，使用符號化的系統(tǒng)描述程序設(shè)計(jì)語言或自然語言的語法結(jié)構(gòu)的能力，構(gòu)造自動(dòng)機(jī)的能力，以適應(yīng)計(jì)算機(jī)科學(xué)不斷發(fā)展的需要。實(shí)際上，自動(dòng)機(jī)理論除了在計(jì)算機(jī)科學(xué)與技術(shù)領(lǐng)域的直接應(yīng)用外，更在計(jì)算機(jī)科學(xué)與技術(shù)領(lǐng)域的人才的計(jì)算思維的培養(yǎng)中占有極其重要的地位?！队邢拮詣?dòng)機(jī)理論》可作為高等學(xué)校計(jì)算機(jī)科學(xué)應(yīng)用專業(yè)、軟件專業(yè)研究生的教材或參考書，也可作為計(jì)算機(jī)應(yīng)用領(lǐng)域內(nèi)廣大科技人員提高理論素質(zhì)的參考書。

作者簡介

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

圖書目錄

第一章　基礎(chǔ)知識
　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　語言
　1.6　常用術(shù)語
　1.7　形式語言與自動(dòng)機(jī)的發(fā)展
　習(xí)題一
第二章　形式語言
　2.1　例子語言
　2.2　文法和語言的關(guān)系
　2.3　Chomsky對文法的分類
　2.4　文法產(chǎn)生語言
　2.5　推導(dǎo)樹
　2.6　空串定理
　2.7　消除左遞歸
　　2.7.1　消除直接左遞歸
　　2.7.2　消除間接左遞歸
　2.8　上下文無關(guān)文法的另一種表示
　2.9　語言之間的運(yùn)算及運(yùn)算的封閉性
　　2.9.1　語言之間的基本運(yùn)算
　　2.9.2　語言之間的運(yùn)算的封閉性
　　2.9.3　語言之間的其他運(yùn)算
　2.10　正則表達(dá)式和正則集
　習(xí)題二
第三章　有限狀態(tài)自動(dòng)機(jī)
　3.1　有限狀態(tài)自動(dòng)機(jī)
　3.2　有限狀態(tài)自動(dòng)機(jī)識別的語言
　3.3　有限狀態(tài)自動(dòng)機(jī)識別語言的例子
　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ù)
　習(xí)題三
第四章　正則語言
　4.1　正則語言與有限狀態(tài)自動(dòng)機(jī)
　　4.1.1　正則表達(dá)式對應(yīng)有限狀態(tài)自動(dòng)機(jī)
　　4.1.2　正則語言的等價(jià)模型
　4.2　正則語言的泵浦引理
　4.3　正則語言對運(yùn)算的封閉性
　4.4　正則語言類中的判定算法
　習(xí)題四
第五章　下推自動(dòng)機(jī)
　5.1　下推自動(dòng)機(jī)
　　5.1.1　確定的下推自動(dòng)機(jī)
　　5.1.2　不確定的下推自動(dòng)機(jī)
　　5.1.3　下推自動(dòng)機(jī)接收語言的兩種方式
　　5.1.4　廣義的下推自動(dòng)機(jī)和單態(tài)下推自動(dòng)機(jī)
　　5.1.5　下推自動(dòng)機(jī)的存儲(chǔ)技術(shù)
　　5.1.6　下推自動(dòng)機(jī)掃描多個(gè)符號
　5.2　上下文無關(guān)文法和范式
　　5.2.1　Chomsky范式
　　5.2.2　Greibach范式
　5.3　下推自動(dòng)機(jī)與上下文無關(guān)語言
　習(xí)題五
第六章　圖靈機(jī)
參考文獻(xiàn)