This revied edition of a mathematically sound presentaion of the theoretical aspects of computing includes step-by-step, unhurried proofs, worked-out examples that demonstrate theoretical concepts, and numerous diagrams and line drawings which highlight the underlying concepts.