Lewis, Harry R.

Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. - 2nd ed. - Upper Saddle River, N.J. : Prentice-Hall, c1998. - 361 p. : ill. ; 25 cm.

1. Sets, Relations, and Languages. - 2. Finite Automata. - 3. Context-free Languages. - 4. Turing machines. - 5. Undecidability. - 6. Computational Complexity. - 7. NP-completeness. - Index.

0132727412 (pbk) 0132624788 (hbk)


Machine theory.
Formal languages.
Computational complexity.
Logic, Symbolic and mathematical.

511.3 / LEW