Theory of Computation and Application

This text book is designed for the first course in Theory of Computation and 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.

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
References
Model Question Paper
Examination Paper
Index

Dr. Anil Kumar Malviya is currently working as an Associate Professor in Computer Science and Engineering Department at Kamla Nehru Institute of Technology, (KNIT), Sultanpur. He received his B.Sc. (Hons.) and M.Sc. both in Computer Science from Banaras Hindu University(BHU), Varanasi respectively in 1991 and 1993 and Ph.D. degree in Computer Science from Dr. B. R. Ambedkar University, Agra in 2006. He is Life member of Computer Society of India (CSI) and Indian Society for Technical Education (ISTE). He has published about 45 papers in International/National Journals, Conferences and Seminars. His research interests are Software engineering, Data mining and Cryptography and Network Security.

Dr. Malabika Datta holds a postgraduate degree in Mathematics, M.Tech in Computer Science and Ph.D in Applied Mathematics. She started her career in 1970 as a Lecturer in the Department of Mathematics in Agra College, Agra and later became Professor and Head of the Department of Computer Science, Institute of Basic Science, Dr. B.R. Ambedkar University, Agra. For nearly four decades, she taught Mathematics and Computer Science to undergraduate and postgraduate classes. During this period she guided research and produced Ph.Ds in the fields of Applied Mathematics and Computer Science.