自動機理論與應(yīng)用

定　價：￥99.00

作　者：	（美）里奇著
出版社：	清華大學(xué)出版社
叢編項：
標(biāo)　簽：	影印版

購買這本書可以去

ISBN：	9787302212935	出版時間：	2009-11-01	包裝：	平裝
開本：	16開	頁數(shù)：	1099	字?jǐn)?shù)：

內(nèi)容簡介

　　《大學(xué)計算機教育國外著名教材系列：自動機理論與應(yīng)用（影印版）》闡述了計算科學(xué)的優(yōu)美理論基礎(chǔ)，通過演示計算理論在現(xiàn)代硬件和軟件系統(tǒng)設(shè)計中的影響，把理論知識帶到了現(xiàn)實實踐之中?！洞髮W(xué)計算機教育國外著名教材系列：自動機理論與應(yīng)用（影印版）》介紹了關(guān)鍵概念的應(yīng)用，為讀者在實際工作中使用計算理論提供實際指導(dǎo)。《大學(xué)計算機教育國外著名教材系列：自動機理論與應(yīng)用（影印版）》討論的應(yīng)用包括程序設(shè)計語言、編譯器、網(wǎng)絡(luò)技術(shù)、自然語言處理、人工智能、計算生物學(xué)、安全性、博弈、商業(yè)規(guī)則建模、標(biāo)識語言、Web搜索等?！洞髮W(xué)計算機教育國外著名教材系列：自動機理論與應(yīng)用（影印版）》既適合作為自動機理論課程的教程，也是相關(guān)專業(yè)人員的重要參考用書。

作者簡介

暫缺《自動機理論與應(yīng)用》作者簡介

圖書目錄

Preface
Acknowledgments
Credits
PART Ⅰ INTRODUCTION
1 Why study the Theory of Computation?
2 Languages and Strings
3 The Big Picture: A Language Hierarchy
4 Computation
PART Ⅱ FINITE STATE MACHINES AND REGULAR LANGUAGES
5 Finite State Machines
6 Regular Expressions
7 Regular Grammars
8 Regular and Nonregular Languages
9 Algorithms and Decision Procedures for Regualr Languages
10 Summary and Reference
PART Ⅲ CONTEXT-FREE LANGUAGES AND PUSHDOWN AUTOMATA
11 Context-Free Grammars
12 Rushdown Automata
13 Context-Free and Noncontext-Free Languages
14 Algorithms and Decision procedures for Context-Free Languages
15 Context-Free Parsing
16 Summary and references
PART Ⅳ TURING MACHINES AND UNDECIDABILITY
17 Turing Machines
18 The Church-Turing Thesis
19 The Church-Turing Thesis
20 Decidable and Semidecidable Languages
21 Decidability and Undecidability Proofs
……
PART Ⅴ COMPLEXITY
APPENDICES
APPENDICES G-Q: APPLICATIONS