Theory Of Computation And Application

ABOUT THE BOOKThis book is intended for the students who are pursuing courses in B. Tech/B.E. (CSE/IT), M. Tech/M.E. (CSE/IT), MCA and M.Sc (CS/IT). The book covers different crucial theoretical aspects such as of Automata Theory, Formal Language Theory, Computability Theory and Computational Complexity Theory and their applications.This book can be used as a text or reference book for a one-semester course in theory of computation or automata theory. It includes the detailed coverage of• Introduction to Theory of Computation• Essential Mathematical Concepts• Finite State Automata• Formal Language & Formal Grammar• Regular Expressions & Regular Languages• Context-Free Grammar• Pushdown Automata• Turing Machines• Recursively Enumerable & Recursive LanguagesComplexity TheoryKey Features« Presentation of concepts in clear, compact and comprehensible mannerChapter-wise supplement of theorems and formal proofsDisplay of chapter-wise appendices with case studies, applications and some pre-requisites Pictorial two-minute drill to summarize the whole concept Inclusion of more than 200 solved with additional problemsMore than 130 numbers of GATE questions with their keys for the aspirants to have the thoroughness, practice and multiplicityKey terms, Review questions and Problems at chapter-wise terminationWhat is New in the 2" Edition" Introduction to Myhill-Nerode theorem in Chapter-3Updated GATE questions and keys starting from the year 2000 to the year 2018ABOUT THE AUTHORSSoumya Ranjan Jena is the Assistant Professor in the School of Computing Science and Engineering at Galgotias University, Greater Noida, U.P., India. Previously he has worked at GITA, Bhubaneswar, Odisha, K L Deemed to be University, A.P and AKS University, M.P, India. He has more than 5 years of teaching experience.He has been awarded M.Tech in IT, B.Tech in CSE and CCNA. He is the author of Design and Analysis of Algorithms book published by University Science Press, Laxmi Publications Pvt. Ltd, New Delhi.Santosh Kumar Swain, Ph.D, is an Professor in School of Computer Engineering at KIIT Deemed to be University, Bhubaneswar, Odisha. He has over 23 years of experience in teaching to graduate and post-graduate students of computer engineering, information technology and computer applications. He has published more than 40 research papers in International Journals and Conferences and one patent on health monitoring system.