TY - BOOK AU - Lewis, Harry R.. AU - Papadimitriou, Christos H.. TI - Elements of the theory of computation T2 - (Prentice-Hall software series) SN - 0132624788 PY - 1998/// CY - Upper Saddle River, N.J. PB - : Prentice-Hall KW - LENGUAJES FORMALES KW - LOGICA MATEMATICA KW - MAQUINAS DE TURING KW - SISTEMAS AUTOORGANIZATIVOS ER -