Languages and Machines: An Introduction to the Theory of Computer Science - Hardcover

Sudkamp, Thomas A.

3.63

54 ratings by Goodreads

9780201821369: Languages and Machines: An Introduction to the Theory of Computer Science

Hardcover

ISBN 10: 0201821362 ISBN 13: 9780201821369

Publisher: Pearson, 1996

View all copies of this ISBN edition:

Languages and Machines, which is intended for computer scientists in the theoretical foundations of their subject, gives a mathematically sound presentation of the theory of computing at the junior and senior level. Topics covered include the theory of formal languages and automata, computability, computational complexity, and deterministic parsing of context-free languages. To make these topics accessible to the undergraduate, no special mathematical prerequisites are assumed. The author examines the languages of the Chomsky hierarchy, the grammars that generate them, and the finite automata that accept them. The development of abstract machines continues with the Church-Turing thesis and computability theory. Computational complexity and NP-completeness are introduced by analyzing the computations of Turing machines. Parsing with LL and LR grammars is included to emphasize language definition and to provide the groundwork for the study of compiler design. The second edition now includes new sections covering equivalence relations, Rice's Theorem, pumping lemma for context-free grammars, the DFA minimization algorithm, and over 150 new exercises and examples.

"synopsis" may belong to another edition of this title.

From the Back Cover:

Languages and Machines gives a mathematically sound presentation of the theory of computing at the junior and senior level and is an invaluable tool for scientists investigating the theoretical foundations of computer science. Topics covered include the theory of formal languages and automata, computability, computational complexity, and deterministic parsing of context-free languages.

No special mathematical prerequisites are assumed; the theoretical concepts and associated mathematics are made accessible by a 'learn as you go' approach that develops an intuitive understanding of the concepts through numerous examples and illustrations. Languages & Machines examines the languages of the Chomsky hierarchy, the grammars that generate them, and the finite automata that accept them. Sections on the Church-Turing thesis and computability theory further examine the development of abstract machines. Computational complexity and NP-completeness are introduced by analyzing the computations of Turing machines. Parsing with LL and LR grammars is included to emphasize language definition and to provide the groundwork for the study of compiler design.

Features

A winning writing style, Languages and Machines is becoming recognized as an instructor's boon
Effective examples that convey challenging and complex theoretical concepts
Numerous diagrams illustrating pictorially the underlying concepts
Step-by-step, unhurried proofs
A "learn as you go" approach that develops mathematical sophistication

Features New to this Edition:

DFA minimization
Rice's Theorem
Increased coverage of computational complexity
Additional examples throughout
Over 150 additional exercises

** Instructor's materials are available from your sales rep. If you do not know your local sales representative, please call 1-800-552-2499 for assistance, or use the Addison Wesley Longman rep-locator at http://hepg.awl.com/rep-locator.

0201821362B04062001

About the Author:

About Thomas Sudkamp

Thomas A. Sudkamp holds a Ph.D. in mathematics from the University of Notre Dame and worked extensively in industry and for the Air Force before joining the faculty at Wright State University where he has taught for over 10 years.

0201821362AB04062001

"About this title" may belong to another edition of this title.