有限自動機理論

定　價：￥56.00

作　者：	周益民，陳文宇，程偉
出版社：	電子科技大學(xué)出版社
叢編項：
標(biāo)　簽：	暫缺

購買這本書可以去

京東 (￥46.10)

ISBN：	9787564765453	出版時間：	2018-06-01	包裝：
開本：	16開	頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

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

作者簡介

暫缺《有限自動機理論》作者簡介

圖書目錄

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