The theory of computation / Bernard M. Moret.
By: Moret, Bernard MMaterial type: TextLanguage: English Publisher: Reading, Mass. : Addison-Wesley, c1998; New Delhi : Pearson Education, c1998Description: xx, 453 p. : ill. ; 25 cmISBN: 0201258285Subject(s): Machine theoryDDC classification: 004 LOC classification: QA267 | .M67 1998Online resources: WorldCat details | Ebook Fulltext
|Item type||Current location||Collection||Call number||Copy number||Status||Date due||Barcode||Item holds|
|E-Book||EWU Library E-book||Non-fiction||004 MOT 1998 (Browse shelf)||Not for loan|
|Text||EWU Library Reserve Section||Non-fiction||004 MOT 1998 (Browse shelf)||C-1||Not For Loan||12470|
|Text||EWU Library Circulation Section||Non-fiction||004 MOT 1998 (Browse shelf)||C-2||Available||12471|
Moret, B.M.E. (Bernard M.E.)
Theory of computation.
Reading, Mass. : Addison-Wesley, c1998
Includes bibliographical references (p. 407-419) and index.
1. Introduction --
2. Preliminaries --
3. Finite Automata and Regular Languages --
4. Universal Models of Computation --
5. Computability Theory --
6. Complexity Theory: Foundations --
7. Proving Problems Hard --
8. Complexity Theory in Practice --
9. Complexity Theory: The Frontier --
A: Proofs. Table of contents
Taking a practical approach, this modern introduction to the theory of computation focuses on the study of problem solving through computation in the presence of realistic resource constraints. The Theory of Computation explores questions and methods that characterize theoretical computer science while relating all developments to practical issues in computing. The book establishes clear limits to computation, relates these limits to resource usage, and explores possible avenues of compromise through approximation and randomization. The book also provides an overview of current areas of research in theoretical computer science that are likely to have a significant impact on the practice of computing within the next few years.
Computer Science & Engineering Electronics & Communications Engineering