This website contains materials associated with the Theory of Computation textbook   

The latter is an 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)

The following are available at this site:

• 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.

• Here is the Turing machine of Example 2.3.5 (LOGSPACE) of the text.
• Here is the Universal Turing Machine discussed in Section 2.5 of the text.
• Here are three tapes that go with the Universal Turing Machine: utm1.tt, utm2.tt, and utm3.tt.

  Comments, questions, and suggestions regarding the textbook itself, the on-line materials, or the software examples are always welcome.

  Note: For more information on this and other Oxford University Press Engineering & Computer Science publications please write to college@oup-usa.org.