Theory of computation / Derick Wood.
Material type:
- 0471613096
- 004.0151 23 W874
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata | 004.0151 W874 (Browse shelf(Opens below)) | Available | C26367 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
004.0151 W386 Universal algebra for computer scientists | 004.0151 W587 Computational mathematics | 004.0151 W776 Arithmetic complexity of computations | 004.0151 W874 Theory of computation / | 004.0151 Y24 Quantum computational number theory / | 004.015113 C133 Introduction to fuzzy reliability | 004.015113 H487 Complexity theory retrospective II |
Includes bibliographical references and index.
Part I Introduction:
0. Preliminaries;
1. Languages and Computation.
Part II Models:
2. Finite Automata;
3. Regular Expressions;
4. Context-Free Grammars;
5.Pushdown Automata;
6. Turing Machines;
7. Functions, Relations, and Translations.
Part III Properties:
8. Family Relationships;
9. Closure Properties;
10. Decision Problems.
Part IV Onward:
11. Further Topics--
Bibliography--
Index.
This book is designed to be the basis of a one- or two-term introductory course in the theory of computation, concentrating on the fundamental models for languages and computation together with their properties. It contains simple proofs of many results, usually considered difficult.
There are no comments on this title.