形式语言与自动机导论(英文版·第3版)图书
人气:43

形式语言与自动机导论(英文版·第3版)

本书精辟地阐述了计算课程的入门理论,简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明,同时避免过多数学细节,这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文...

内容简介

本书精辟地阐述了计算课程的入门理论,简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明,同时避免过多数学细节,这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现,这样学生就能够通过对比式的研究加强理解。

作者简介

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

网友评论(不代表本站观点)

免责声明

本站合法持有《出版物经营许可证》,仅销售经国家新闻出版署批准的合法期刊,不是任何杂志、图书官网,不涉及出版事务。本站仅提供有限咨询服务,需要用户自己向出版商投稿且没有绿色通道,是否录用一切以出版商通知为准。提及的第三方名称或商标,其知识产权均属于相应的出版商或期刊,本站与上述机构无从属关系,所有引用均出于解释服务内容的考量,符合商标法规范。本页信息均由法务团队进行把关,若期刊信息有任何问题,请联系在线客服,我们会认真核实处理。若用户需要出版服务,请联系相关出版商。

更多出版社
你好,需要期刊咨询服务吗?在线咨询
了解我们
获奖信息
挂牌上市
版权说明
杂志之家服务支持
在线客服
工作时间 8:00-24:00
期刊咨询服务
服务流程
网站特色
常见问题
经营许可
出版物经营许可证
企业营业执照
客服服务
期刊咨询
订阅咨询
投诉留言
其它
公文范文
期刊知识
发表咨询 加急见刊 文秘咨询 期刊订阅 返回首页