形式語言與自動機理論（第4版）

出版信息

作者：蔣宗禮、姜守旭

定價：59.90元

印次：4-1

ISBN：9787302636250

出版日期：2023.06.01

印刷日期：2023.05.31

內容簡介

形式語言與自動機理論是計算機類專業的一門重要課程。本書是作者結合其近40年來在大學講授該門課程的經驗和體會，選擇和組織有關內容撰寫而成。基於計算機問題求解的需要討論正則語言和上下文無關語言的文法、識別模型及其性質，圖靈機的基本知識。其內容特點是抽象和形式化，既有嚴格的理論證明，又具有很強的構造性。敘述中特別注意引導讀者分析與解決問題，以培養學生的形式化描述和抽象思維能力，使學生了解和初步掌握“問題、形式化、自動化（計算機化）”的解題思路。為了便於學生對內容的掌握，附錄A還給出了建議的教學設計。

本書配套出版有《形式語言與自動機理論教學參考書》（第4版），歸納各章知識點，解讀主要內容，解析典型習題。

本書適合作為計算機學科研究生和高年級本科生的教材，也可供相關專業的學生、教師和科研人員參考。

圖書目錄

目錄CONTENTS

第1章緒論1

1.1集合的基礎知識2

1.1.1集合及其表示2

1.1.2集合之間的關係4

1.1.3集合的運算5

1.2關係10

1.2.1二元關係10

1.2.2等價關係與等價類11

1.2.3關係的合成12

1.2.4遞歸定義與歸納證明13

1.2.5關係的閉包15

1.3圖16

1.3.1無向圖16

1.3.2有向圖17

1.3.3樹19

1.4語言20

1.4.1什麼是語言20

1.4.2形式語言與自動機理論的產生與作用21

1.4.3基本概念23

1.5小結29

習題29第2章文法36

2.1啟示37

2.2形式定義39

2.3文法的構造47

2.4文法的喬姆斯基體系55

2.5空語句65

2.6小結67

習題68第3章有窮狀態自動機71

3.1語言的識別71

3.2有窮狀態自動機73

3.3不確定的有窮狀態自動機84

3.3.1作為對DFA的修改84

3.3.2NFA的形式定義86

3.3.3NFA與DFA等價92

3.4帶空移動的有窮狀態自動機96

3.5FA是正則語言的識別器100

3.5.1FA與右線性文法100

3.5.2FA與左線性文法104

3.6FA的一些變形105

3.6.1雙向有窮狀態自動機105

3.6.2帶輸出的FA107

形式語言與自動機理論（第4版）

基本介紹

出版信息

內容簡介

圖書目錄

相關詞條

熱門詞條