Models of Computation and Formal Languages
Buy the Hardcover |
|
| Audience/Grade: | College Freshman-College Senior |
| Discipline(s): |
Computer Science |
| Special Topic(s): | |
| Learning Resource Type: |
Reference - Textbook |
| Media Type: |
Unknown |
| Author(s): |
R. Gregory Taylor |
| Description: | "Introductory textbook that is suitable for those readers, whether undergraduates or graduate students, approaching the theory of computation for the first time. Discussion of theoretical issues is example-driven: The author's examples, included in the software, enable the reader to work directly with the several computational models considered. The combination of text and companion software may permit the reader to move more rapidly, and yet with deeper understanding, than has been possible in the past. Accompanying software, entitled Deus Ex Machina, was designed by Nicolae O. Savoiu and comprises simulations of seven models of computation covered in the text: 1. Turing Machines (Chapters 1 and 2) 2. Markov Algorithms (Chapter 4) 3. Register Machines (Chapter 5) 4. Vector Machines (a theoretical model of parallel computation) (Chapter 7) 5. Finite-State Automata (Chapter 9) 6. Pushdown-Stack Automata (Chapter 10) 7. Linear-Bounded Automata (Chapter 11)". |
| Rating: |
|
| Related Resources | |
| Keywords: | machine whose state diagram Church-Turing Thesis Imitation Game Satisfiability Problem |
| Usage Tip | |
| Use of Resource: |
The author's site also contains: * Textbook table of contents * Instructor's guide for using the textbook. Lecture slides. * Download solution sets to exercises (.pdf files) * Compendium of theorems, lemmas, definitions, and numbered remarks. * Download auxiliary documents. * Errata. |
| Difficulty: |
Medium |
| Interactivity Level: |
Medium |
| Version Info | |
| Publication Date: | May 1998 |
| Platform/Format: |
WWW |
| Cost: |
Free |
| Download URL: | http://www.amazon.com/gp/reader/019510983X/ref=sib_fs_top/102-016 |
| Metadata: |
IEEE LOM Record |
| Collection: |
NEEDS
|
