《自動機理論.語言和計算機導論》(英文版)(第3版)是關於形式語言、自動機理論和計算複雜性方面的經典教材，是三位理論計算大師的巔峰之作，現已更新到第3版。書中涵蓋了有窮自動機、正則表達式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的，陸質、圖靈機、不可判定性以及難解問題等內容。
基本介紹
- 書名：自動機理論.語言和計算機導論
- 出版社：機械工業出版社
- 頁數：535頁
- ISBN：9787111223924
- 作者：霍普克羅夫特 等
- 出版日期：2008年1月1日
- 開本：16開
- 品牌：機械工業出版社
基本介紹,內容簡介,作者簡介,圖書目錄,
基本介紹
內容簡介
《自動機理論.語言和計算機導論》(英文版)(第3版)已被世界許多著名大學採用為計算機理論課程的教材或教學參考書，適合用作國內高校計算機專業高年級本科生或研究生的教材，還可供從事理論計算工作的研究人員參考。
作者簡介
作者：(美)霍普克羅夫特 等
圖書目錄
1 Automata: The Methods and the Madness
1.1 Why Study Automata Theory?
1.2 Introduction to Formal Proof
1.3 Additional Forms of Proof
1.4 Inductive Proofs
1.5 The Central Concepts of Automata Theory
1.6 Summary of Chapter 1
1.7 Gradiance Problems for Chapter 1
1.8 References for Chapter 1
2 Finite Automata
3 Regular Expressions and Languages
4 Properties kf Regular Languages
5 Context-Free Grammars and Languages
6 Pushdown Automata
7 Properties of Context-Free Languages
8 Introduction to Turing Machines
9 Undecidability
10 Intractable Problems
11 Additional Classes of Problems
Index
1.1 Why Study Automata Theory?
1.2 Introduction to Formal Proof
1.3 Additional Forms of Proof
1.4 Inductive Proofs
1.5 The Central Concepts of Automata Theory
1.6 Summary of Chapter 1
1.7 Gradiance Problems for Chapter 1
1.8 References for Chapter 1
2 Finite Automata
3 Regular Expressions and Languages
4 Properties kf Regular Languages
5 Context-Free Grammars and Languages
6 Pushdown Automata
7 Properties of Context-Free Languages
8 Introduction to Turing Machines
9 Undecidability
10 Intractable Problems
11 Additional Classes of Problems
Index
