TY - BOOK AU - Lewis, Harry R AU - Papadimitriou, Christos H TI - Elements of the Theory of Computation, SN - 9789332549890 U1 - 511.3 PY - 2015/// CY - Noida PB - Pearson Education Asia KW - Computational complexity KW - Logic, Symbolic and mathematical KW - Formal languages N1 - Sets, Relations, and Languages. 2. Finite Automata. 3. Context-free Languages. 4. Turing Machines. 5. Undecidability. 6. Computational Complexity. 7. NP-completeness ER -