Automata Theory and Formal Languages

Automata Theory and Formal Languages presents the difficult concepts of automata theory in a straightforward manner, including discussions on diverse concepts and tools that play major roles in developing computing machines, algorithms and code. Automata theory includes numerous concepts such as finite automata, regular grammar, formal languages, context free and context sensitive grammar, push down automata, Turing machine, and decidability, which constitute the backbone of computing machines. This book enables readers to gain sufficient knowledge and experience to construct and solve complex machines. Each chapter begins with key concepts followed by a number of important examples that demonstrate the solution. The book explains concepts and simultaneously helps readers develop an understanding of their application with real-world examples, including application of Context Free Grammars in programming languages and Artificial Intelligence, and cellular automata in biomedical problems. - Presents the concepts of Automata Theory and Formal Languages in an easy-to-understand approach - Helps the readers understand key concepts by solving real-world examples. - Provides the readers with a simple approach to connect the theory with the latest trend like software testing, cybersecurity, artificial intelligence, and machine learning. - Includes a wide coverage of applications of automata theory and formal languages.

Dr. Pallavi Vijay Chavan is Associate Professor in the Department of Information Technology, RAIT, D. Y. Patil Deemed to be University, NERUL, Navi Mumbai, India. During her 20-year carrier, she has worked on a variety of research topics, including Visual Cryptography, Image Processing, Intelligent Systems, Machine Learning and Analytics. She has taught core subjects at the undergrad level including DBMS, Theory of Computation, Artificial Neural Networks, and Soft Computing. Dr. Chavan is the author of dozens of research papers in international journals and conferences, including Springer, Elsevier, Inderscience and IEEE. Dr. Chavan is recipient of research grants from Mumbai University and is a member of ACM and ISTE. Dr. Chavan is the author of Automata Theory and Formal Languages from Elsevier Academic Press.