Slika omota

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /

This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the traditional mathematical development usually employed in computational theory courses, it is also quite different from many of them. Machines, grammars, a...

Spremljeno u:

Bibliografski detalji
Glavni autor:	Morazán, Marco T. (Autor)
Autor kompanije:	SpringerLink (Online service)
Format:	Elektronički e-knjiga
Jezik:	engleski
Izdano:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Izdanje:	1st ed. 2024.
Serija:	Texts in Computer Science,
Teme:	Machine theory. Software engineering. Formal Languages and Automata Theory. Software Engineering.
Online pristup:	https://doi.org/10.1007/978-3-031-43973-5
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Slični predmeti

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Izdano: (2024)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Izdano: (2023)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Izdano: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Izdano: (2024)

Automata Theory And Formal Languages /
od: Kandar, Shyamalendu
Izdano: (2012)

Automata Theory And Formal Languages /
od: Kandar, Shyamalendu
Izdano: (2012)

Automata Theory And Formal Languages /
od: Kandar, Shyamalendu
Izdano: (2012)

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
Izdano: (2025)

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Izdano: (2025)

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Izdano: (2024)

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
Izdano: (2023)

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
Izdano: (2024)

Introduction to Formal Languages, Automata Theory and Computation /
od: Krithivasan, Kamala
Izdano: (2009)

Introduction to Formal Languages, Automata Theory and Computation /
od: Krithivasan, Kamala
Izdano: (2009)

Introduction to Formal Languages, Automata Theory and Computation /
od: Krithivasan, Kamala
Izdano: (2009)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Izdano: (2024)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Izdano: (2023)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Izdano: (2025)

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
Izdano: (2025)

Formal Languages and Automata Theory /
od: Anami, Basavaraj S.
Izdano: (2011)

Formal Languages and Automata Theory /
od: Anami, Basavaraj S.
Izdano: (2011)

Formal Languages and Automata Theory /
od: Anami, Basavaraj S.
Izdano: (2011)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Izdano: (2023)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
Izdano: (2024)

Restarting Automata Extensions and Generalizations /
od: Otto, Friedrich
Izdano: (2025)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
od: Hopcroft, John E.
Izdano: (1979)

Introduction to automata theory, languages, and computation /
od: Hopcroft, John E.
Izdano: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
od: Hopcroft, John E.
Izdano: (1979)

Introduction to automata theory, languages, and computation /
od: Hopcroft, John E.
Izdano: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
od: Hopcroft, John E.
Izdano: (1979)

Introduction to automata theory, languages, and computation /
od: Hopcroft, John E.
Izdano: (2001)

Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
od: Otto, Friedrich
Izdano: (2025)

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday /
Izdano: (2025)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings /
Izdano: (2024)

The French School of Programming
Izdano: (2024)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Izdano: (2024)

R-Calculus, IV: Propositional Logic
od: Li, Wei, i dr.
Izdano: (2023)

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Izdano: (2023)

Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 – July 4, 2025, Proceedings /
Izdano: (2025)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
od: Hoffmann, Dirk W.
Izdano: (2025)