Lewis, Harry R. Elements of the theory of computation / [electronic resource] / Harry R. Lewis, Christos H. Papadimitriou.. — Englewood Cliffs, N.J. : : Prentice-Hall,, c1981.. — xiv, 466 p. : : ill. ; 24 cm. - Prentice-Hall software series.

Includes bibliographical references and index.





LCCN: 80021293

Subjects--Topical Terms:
Machine theory.
Formal languages.
Computational complexity.
Logic, Symbolic and mathematical.
Automates mathématiques, Théorie des.
Langages formels.
Complexité de calcul (Informatique)
Logique symbolique et mathématique.
Informatica.
Automatentheorie.

LC Class. No.: QA267 / .L49

Dewey Class. No.: 001.53/5 511