Research Catalog
Models of computation and formal languages
- Title
- Models of computation and formal languages / R. Gregory Taylor.
- Author
- Taylor, Ralph Gregory
- Publication
- New York : Oxford University Press, 1998.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA9.59 .T39 1998 | Off-site |
Holdings
Details
- Description
- xviii, 667 pages : illustrations; 25 cm
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 657-660) and index.
- Contents
- Ch. 0. Mathematical Preliminaries -- Ch. 1. Turing Machines -- Ch. 2. Additional Varieties of Turing Machines -- Ch. 3. An Introduction to Recursion Theory -- Ch. 4. Markov Algorithms -- Ch. 5. Register Machines -- Ch. 6. Post Systems (Optional) -- Ch. 7. The Vector Machine Model of Parallel Computation (Optional) -- Ch. 8. The Bounds of Computability -- Ch. 9. Regular Languages and Finite-State Automata -- Ch. 10. Context-Free Languages and Pushdown-Stack Automata -- Ch. 11. Context-Sensitive Languages and Linear-Bounded Automata -- Ch. 12. Generative Grammars and the Chomsky Hierarchy.
- ISBN
- 019510983X (cloth)
- LCCN
- 96037454
- OCLC
- 35884612
- ocm35884612
- Owning Institutions
- Columbia University Libraries