| Contents |
| Reading |
| Websites |
| Software |
| Miscellaneous |
| Reading |
Required Books
Introduction to the Theory of Computation [Amazon, AddAll]
by Michael Sipser (PWS, 1997)
There is a website for the book, which has a list of errata.
Other Books
Introduction to Automata Theory, Languages, and Computation [Amazon, AddAll]
by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman (Addison-Wesley, 2000)
Computability, Complexity, and Languages [Amazon, AddAll]
by Martin D. Davis, Ron Sigal, Elaine J. Weyuker (Academic Press, 1994)
The New Turing Omnibus [Amazon, AddAll]
by A. K. Dewdney (Owl Books, 1993)
Mathematical Foundations
Logic for Computer Scientists [Amazon, AddAll]
by Uwe Schoning (Birkhauser, 1994)
Basic Category Theory for Computer Scientists [Amazon, AddAll]
by Benjamin C. Pierce (MIT Press, 1991)
Applications
An Automata-Theoretic Approach to Linear Temporal Logic
by Moshe Vardi
| Websites |
Standard Automata
from Rice University
Advanced Automata
by Ed Clark
by Nancy Lynch and others
based on work by David Harel
See also Precise UML
Commercial Applications
Turing Machines
by Andrew Hodges
Miscellaneous
Models of Concurrent Computation
Phillipa Gardner
Rice U.
From CMU
From Baylor
PL Theory
Programming Language Theory Texts Online
collected by Frank Atanassow
| Software |
Utilities
Simulators
A nice java application that has lots of cool features.
Commercial
Web application -- works, but no graphics
Language and interpreter for programming DFAs, NFAs, and PDAs
Written in C, no graphics or animation.
Java Application
Another Turing Machine Simulator
Java Application
Java Applet
Utilities
Shareware. For windows.
Create and read zip archives.
Free. For many platforms.
View and print pdf files.
Free. For windows.
A powerful set of unix commands ported to windows, including perl and gcc.
Free. For many platforms.
View and print postscript (ps) files.
| Miscellaneous |
DePaul
Plaigarism detection. Request a mailing list.
Revised: 2008/09/03 15:30