第一图书网

形式语言与自动机导论

林茨 机械工业出版社
出版时间:

2004-11  

出版社:

机械工业出版社  

作者:

林茨  

页数:

410  

Tag标签:

无  

内容概要

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

作者简介

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 AutomataChapter 3 Regular Languages and Regular Grammars 3.1 Regular Expressions 3.2 Connection Between Regular Expressions and Regular Languages 3.3 Regular GrammarsChapter 4 Properties of Regular Languages 4.1 Closure puoperties of Regular Languages 4.2 Elementary Questions about Regular Languages 4.3Identifying Nonregular LanguagesChapter 5 Context-Free LanguagesChapter 6 Simplification of Context-Free GrammarsChapter 7 Pushdown AutomataChapter 8 Puoperties of Context-Free LanguagesChapter 9 Turing Machines Chapter 10 Other Models of Turing MachinesChapter 11 A Hierarchy of Formal Languages and AutomataChapter 12 Limits of Algorithmic Computation Chapter 13 Other Models of ComputationChapter 14 An Introduction to Computational ComplexityAnswers to Selected ExercisesReferencesIndex


图书封面

图书标签Tags

广告

下载页面


形式语言与自动机导论 PDF格式下载



本来以为很优惠,可拿到手的书感觉很是不爽,就像旧书一样。服务质量不能这么差啊,虽然只是本小书,但是反映的是内在问题。送书可以上门,退书就只能邮寄,关键是有的人如果嫌麻烦就不了了之了。


相关图书