000			02859cam a22002654a 4500
001			vtls000001420
003			VRT
005			20250102223850.0
008			081102s2003 maua |b 001 0 eng
020			_a0072322004 (alk. paper)
020			_a0071198547 (International ed. : alk. paper)
039		9	_a201402040051 _bVLOAD _c201007211209 _dmalmash _c200811020803 _dNoora _c200811020800 _dNoora _y200811020800 _zNoora
050	0	0	_aQA267.5.S4 _bM29 2003
100	1		_aMartin, John C. _931527
245	1	0	_aIntroduction to languages and the theory of computation / _cJohn C. Martin.
250			_a3rd ed.
260			_aBoston : _bMcGraw-Hill, _cc2003.
300			_axiii, 543 p. : _bill. ; _c24 cm.
504			_aIncludes bibliographical references (p. 529-530) and indexes.
505			_aMathematical Notation and Techniques1 Basic Mathematical Objects2 Mathematical Induction and Recursive DefinitionsII Regular Languages and Finite Automata3 Regular Expressions and Finite Automata4 Nondeterminism and Kleene's Theorem5 Regular and Nonregular LanguagesIII Context-Free Languages and Pushdown Automata6 Context-Free Grammars7 Pushdown Automata8 Context-Free and Non-Context-Free LanguagesIV Turing Machines and Their Languages9 Turing Machines10 Recursively Enumerable LanguagesV Unsolvable Problems and Computable Functions11 Unsolvable Problems12 Computable FunctionsVI Introduction to Computational Complexity13 Measuring and Classifying Complexity14 Tractable and Intractable Problems
520			_aIntroduction to Languages and the Theory of Computation is an introduction to the theory of computation that emphasizes formal languages, automata and abstract models of computation, and computability; it also includes an introduction to computational complexity and NP-completeness. Through the study of these topics, students encounter profound computational questions and are introduced to topics that will have an ongoing impact in computer science. Once students have seen some of the many diverse technologies contributing to computer science, they can also begin to appreciate the field as a coherent discipline. A distinctive feature of this text is its gentle and gradual introduction of the necessary mathematical tools in the context in which they are used. Martin takes advantage of the clarity and precision of mathematical language, but also provides discussion and examples that make the language intelligible to those just learning to read and speak it. The material is designed to be accessible to students who do not have a strong background in discrete mathematics, but it is also appropriate for students who have had some exposure to discrete math, but whose skills in this area need to be consolidated and sharpened.
650		0	_aSequential machine theory. _918274
650		0	_aComputable functions. _931528
942			_2lcc _n0 _cBK
999			_c13557 _d13557