Introduction To Theory Of Automata, Formal Languages, And Computation  (Paperback, Debidas Ghosh)

The Theory of Computation or Automata and Formal Languages assumes significance as it has a wide range of applications in complier design, robotics, Artificial Intelligence (AI), and knowledge engineering. This compact and well-organized book provides a clear analysis of the subject with its emphasis on concepts which are reinforced with a large number of worked-out examples. The book begins with an overview of mathematical preliminaries. The initial chapters discuss in detail about the basic concepts of formal languages and automata, the finite automata, regular languages and regular expressions, and properties of regular languages. The text then goes on to give a detailed description of context-free languages, pushdown automata and computability of Turing machine, with its complexity and recursive features. The book concludes by giving clear insights into the theory of computability and computational complexity. This text is primarily designed for undergraduate (BE/B.Tech.) students of Computer Science and Engineering (CSE) and Information Technology (IT), postgraduate students (M.Sc.) of Computer Science, and Master of Computer Applications (MCA). Salient Features • One complete chapter devoted to a discussion on undecidable problems. • Numerous worked-out examples given to illustrate the concepts. • Exercises at the end of each chapter to drill the students in self-study. • Sufficient theories with proofs. About the Author Debidas Ghosh (PhD) is Professor of Computer Science and Engineering (CSE) Department, National Institute of Technology (NIT), Durgapur for more than 25 years. He has been the Founder-Head and Head of the Department of Computer Science and Engineering for five terms. Professor Ghosh has also been Founder-Head and Head of the Department for two terms of Computer Applications Department (BCA/MCA) of the Institute. Besides, he is a former Director of NIT, Durgapur; he also served KIIT University, Bhubaneswar as its Pro-Vice-Chancellor. His areas of interest include Theoretical Computer Science, Crypto-graphy, and Algorithmic Mechanism Design. He has published more than 50 research publications and presented research papers in various international conferences held in USA, China, Israel, UK, France and Denmark.