Introduction to Languages and the Theory of Computation

Martin, John C.

ISBN 10: 0071198547 / ISBN 13: 9780071198547

Published by McGraw-Hill, 2003

About this Item

Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

Seller Inventory # Z1-U-017-02131

Bibliographic Details

• Title: Introduction to Languages and the Theory of Computation
• Publisher: McGraw-Hill
• Publication Date: 2003
• Language: English
• ISBN 10: 0071198547
• ISBN 13: 9780071198547
• Binding: Hardcover
• Edition: 3rd Edition
• Condition: Good

About this title

Synopsis

"Introduction 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.

Review

Even those with little mathematical background will be able to understand this user-friendly book, which focuses on formal languages and models of computation. (The author devotes an entire chapter to induction and recursive definitions.) Introduction to Languages and the Theory of Computation weaves numerous examples and highly readable discussions of the key ideas--and how they fit into the larger picture--in between rigorous proofs of the theorems.