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

定　價(jià)：￥99.00

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

購(gòu)買這本書可以去

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

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《自動(dòng)機(jī)理論與應(yīng)用》作者簡(jiǎn)介

圖書目錄

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