TY - BOOK AU - Lewis, Harry R., AU - Papadimitrou, Christos H. TI - Elements of the theory of computation T2 - Prentice-hall software series SN - 0-13-273417-6 AV - QA267 L48 PY - 1981/// CY - Englewood cliffs, new jersey PB - Prentice Hall KW - Lenguajes formales KW - Teoría de las máquinas KW - Complejidad computacional KW - Lógica simbólica y matemática ER -