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.
"synopsis" may belong to another edition of this title.
