TY - BOOK AU - Saxena,Shivam TI - Automata theory, language of machines and computability SN - 9789386768070 (pbk.) AV - QA267 .S29 2018 PY - 2018/// CY - New Delhi PB - I.K. International Publishing House KW - Machine theory KW - Computable functions KW - Computer science KW - Mathematics N1 - Introduction to Theory of Computation -- Finite Automata -- Finite Automata as Transducers -- Regular Expressions and Regular Grammar -- Context Free Grammars -- Normal Forms of Context Free Grammars -- Pushdown Automata -- Turing Machines -- Hierarchy of Formal Languages and Automata -- Introduction to Undecidability -- Recursive Function Theory -- Computational Complexity and Its Classes -- Solution to Exercises -- Index ER -