TY - BOOK AU - Lewis,Harry R. AU - Papadimitriou,Christos H. TI - Elements of the theory of computation T2 - Prentice-Hall software series SN - 8120310160 U1 - 511 19 PY - 1981///.[Reprinted 2001] CY - Englewood Cliffs, N.J., New Delhi PB - Prentice-Hall, Prentice-Hall of India KW - Machine theory KW - Formal languages KW - Computational complexity KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references and index ER -