Elements of the theory of computation
Harry R. Lewis, Christos H. Papadimitriou.
Englewood Cliffs, N.J. : Prentice-Hall, ©1981.
xiv, 466 págs. : ilustraciones ; 24 cm.
Serie: Prentice-Hall software series
Incluye referencias bibliográficas e índice.
Contenido
- 1. Sets, relations, and languages
- 2. Finite automata
- 3. Context-free languages
- 4. Turing machines
- 5. Church's thesis
- 6. Uncomputability
- 7. Computational complexity
- 8. The propositional calculus
- 9. The predicate calculus.