本书精辟地阐述了计算课程的入门理论,简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明,同时避免过多数学细节,这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现,这样学生就能够通过对比式的研究加强理解。
Peter Linz 在威斯康星大学获得博士学位,是加州大学戴维斯分校计算机科学系退休教授,其研究领域为计算机数值分析理论。除本书外,他还撰有《Exploring Numerical Methods:Fan Introduction to Scientific Computing》一书。
Chapter 1 Introduction to the Theory of Computation
1.1 Mathematical Preliminaries and Notation
1.2 Three Basic Concepts
1.3 Some Applications
Chapter 2 Finite Automata
2.1 Deterministic Finite Accepters
2.2 Nondeterministic Finite Accepter
2.3 Equivalence of deterministic and Nondeterminsitic Finite Accepters
2.4 Reduction of the Number of States in Finite Automata
Chapter 3 Regular Languages and Regular Grammars
3.1 Regular Expressions
3.2 Connection Between Regular Expressions and Regular Languages
3.3 Regular Grammars
Chapter 4 Properties of Regular Languages
4.1 Closure puoperties of Regular Languages
4.2 Elementary Questions about Regular Languages
4.3Identifying Nonregular Languages
Chapter 5 Context-Free Languages
Chapter 6 Simplification of Context-Free Grammars
Chapter 7 Pushdown Automata
Chapter 8 Puoperties of Context-Free Languages
Chapter 9 Turing Machines
Chapter 10 Other Models of Turing Machines
Chapter 11 A Hierarchy of Formal Languages and Automata
Chapter 12 Limits of Algorithmic Computation
Chapter 13 Other Models of Computation
Chapter 14 An Introduction to Computational Complexity
Answers to Selected Exercises
References
Index
本站合法持有《出版物经营许可证》,仅销售经国家新闻出版署批准的合法期刊,不是任何杂志、图书官网,不涉及出版事务。本站仅提供有限咨询服务,需要用户自己向出版商投稿且没有绿色通道,是否录用一切以出版商通知为准。提及的第三方名称或商标,其知识产权均属于相应的出版商或期刊,本站与上述机构无从属关系,所有引用均出于解释服务内容的考量,符合商标法规范。本页信息均由法务团队进行把关,若期刊信息有任何问题,请联系在线客服,我们会认真核实处理。若用户需要出版服务,请联系相关出版商。
特别声明:本站持有《出版物经营许可证》,主要从事期刊杂志零售,不是任何杂志官网,不涉及出版事务,特此申明。
工信部备案:蜀ICP备09010985号-11 川公网安备:51092202000082 统一信用码:91510922MACX24HU41
出版物经营许可证:射行审新出发2023字第016号 股权代码:102064© 版权所有:四川博文网络科技有限责任公司太和分公司