Publisher's Synopsis
Designed for undergraduate courses in computer theory, this textbook covers three areas: formal languages, automata theory and Turing machines. The author substitutes graphic representation for symbolic proofs, making it accessible even to students with little mathematical background.