Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Für diesen Artikel ist leider kein Bild verfügbar.

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach
Buch | Softcover
400 Seiten
2026
CRC Press (Verlag)
9781041109570 (ISBN)
CHF 129,95 inkl. MwSt
  • Noch nicht erschienen (ca. Juli 2026)
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken
This book provides a structured introduction to automata theory, bridging theoretical foundations with practical applications. An essential resource for students and professionals in computer science, providing the logical foundation and skills needed for careers in theoretical computing, artificial intelligence, and software engineering.
This book provides a structured introduction to automata theory, bridging theoretical foundations with practical applications. Designed for students, researchers, and professionals, this book explores fundamental concepts like deterministic and non-deterministic finite automata, context-free grammars, pushdown automata, and Turing machines. It emphasises problem-solving, critical thinking, and real-world applications in areas such as compiler design, natural language processing, and network protocols.

• Offers step-by-step learning, progresses from DFA and NFA to CFG, PDA, and Turing machines, ensuring clarity and depth.

• Offers step-by-step explanations for automata design, language properties, and computational problem-solving.

• Covers automata applications in lexical analysis, pattern matching, network protocols, and AI.

• Challenges readers to apply concepts beyond memorization, fostering analytical skills, uses graphical representations to enhance understanding of automata transitions and operations.

• Demonstrates how automata theory influences cybersecurity, software development, and computational linguistics.

This book is an essential resource for students and professionals in computer science, providing the logical foundation and problem-solving skills needed for careers in theoretical computing, artificial intelligence, and software engineering.

Amol M. Jagtap holds a B.Tech in Information Technology from Shivaji University, Kolhapur, and an M.Tech in Software Engineering from JNTU Hyderabad. An academician and researcher with over 21 years of experience in teaching and industry, he currently, he serves as an Assistant Professor in the Department of Computer Science and Engineering at Rajarambapu Institute of Technology, Islampur, Maharashtra. Jagtap has published over 15 research papers in reputed international journals and conferences. He is the author of the book “Data Structures using C: A Practical Approach for Beginners”, published by Chapman and Hall / CRC Press, Taylor & Francis Group, UK. He has filed, published and granted three patents, including innovations in handwritten note generation using CNN, ultrasonic-based jamming systems, and textile-based ECG monitoring technology. His research interests include Artificial Intelligence, Machine Learning, Programming Languages, and Logic Building. A recipient of several prestigious honors such as the Board Ranker, KRA Award, University Rank Award, and Infosys Bronze Medal, Jagtap also led his team to win the Gold Award at CCQC 2019 and the Excellence Award at NCQC 2019, IIT-BHU. He is a life member of ISTE and continues to inspire through innovation and excellence. Gautami Shingan received a B.Tech degree in Computer Science and Engineering from Shivaji University, Kolhapur, and M.Tech degree in Computer Science and Engineering from Rajarambapu Institute of Technology, Sakharale (An Autonomous Institute). She has 11 years of teaching experience and is currently working as Assistant Professor at Rajarambapu Institute of Technology, Sakharale. She is currently pursuing PhD from UPES, Dehradun. Her research interests are Automata Theory, Algorithms, Deep Learning and High-performance Computing. She has published research papers in more than 16 international journals and conferences. She has two published patents: “Ultrasonic-based Jammer for Real-time Protection Against Unauthorized Audio Recordings in Secure Space” and “System for Converting Voice and Text into Personalized Handwritten Notes Using CNN”. She has received many awards, including the Promising young teacher award under ISTE chapter, winner of CCQC 2019, Pune Chapter and Excellence Award in NCQC, 2019 held in Varanasi. She is a member of the ISTE professional body. She has worked as a reviewer of various journals.

1. Finite Automata 2. Kleene’s theorem 3. Grammars and Languages 4. Parsing 5. Push Down Automata 6. Context-Free Languages and non Context-Free Languages 7. Turing Machines and Variations 8. Real-World Applications and Case Studies

Erscheint lt. Verlag 6.7.2026
Zusatzinfo 44 Tables, black and white; 239 Line drawings, black and white; 239 Illustrations, black and white
Verlagsort London
Sprache englisch
Maße 178 x 254 mm
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Mathematik / Informatik Informatik Software Entwicklung
ISBN-13 9781041109570 / 9781041109570
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und praktische Anwendungen von Transpondern, kontaktlosen …

von Klaus Finkenzeller

Buch (2023)
Hanser (Verlag)
CHF 125,95
das umfassende Handbuch

von Marc Marburger

Buch | Hardcover (2024)
Rheinwerk (Verlag)
CHF 69,85