This text book is designed for the first course in Theory of Computation & Application (Automata Theory and Formal Languages) for the students of B.Tech. (CS/IT) and Master of Computer Applications (MCA) programs of Uttar Pradesh Technical University (UPTU), Lucknow, as well as other Indian Universities. At the end of each chapter a summary for quick revision of concepts and an exercise consisting of objective questions, review questions and programming problems have been given.

Key Features:

  1. introduction and Basic Concepts
  2. Finite Automata
  3. Regular Expressions
  4. Regular and Non- Regular Languages
  5. Context - Free Grammars and Languages
  6. Pushdown Automata
  7. Properties Of Context - Free Languages
  8. Turing Machines
  9. Recursively Enumerable Languages and Decidability
  10. Model Question and Examination Papers