Bearbmagovva

Restarting Automata The Standard Type of Restarting Automaton and Its Variants /

In this unique volume, the expressive capacity of the various types of restarting automata is studied, and the resulting classes of languages are compared to each other and to the classes of an extended Chomsky hierarchy. A restarting automaton consists of a finite-state control, a flexible tape wit...

Furkejuvvon:

Bibliográfalaš dieđut
Váldodahkki:	Otto, Friedrich (Dahkki)
Searvvušdahkki:	SpringerLink (Online service)
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Preanttus:	1st ed. 2025.
Ráidu:	Theory and Applications of Computability, In cooperation with the Association Computability in Europe,
Fáttát:	Computer science. Machine theory. Computational linguistics. Theory of Computation. Formal Languages and Automata Theory. Computational Linguistics.
Liŋkkat:	https://doi.org/10.1007/978-3-031-70094-1
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid

Restarting Automata Extensions and Generalizations /
Dahkki: Otto, Friedrich
Almmustuhtton: (2025)

An Introduction to Theory of Computation An Algorithmic Approach /
Dahkki: Ogihara, Mitsunori
Almmustuhtton: (2025)

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

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

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

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

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

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

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

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Almmustuhtton: (2025)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Almmustuhtton: (2023)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
Dahkki: Morazán, Marco T.
Almmustuhtton: (2024)

Automata Theory And Formal Languages /
Dahkki: Kandar, Shyamalendu
Almmustuhtton: (2012)

Automata Theory And Formal Languages /
Dahkki: Kandar, Shyamalendu
Almmustuhtton: (2012)

Automata Theory And Formal Languages /
Dahkki: Kandar, Shyamalendu
Almmustuhtton: (2012)

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

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

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

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Almmustuhtton: (2025)

Computational Linguistics and Intelligent Text Processing 20th International Conference, CICLing 2019, La Rochelle, France, April 7–13, 2019, Revised Selected Papers, Part II /
Almmustuhtton: (2023)

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

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

Elements of the Theory of Computation
Dahkki: Lewis, Harry R.
Almmustuhtton: (1998)

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

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

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

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Almmustuhtton: (2025)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Almmustuhtton: (2023)

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

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

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

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Almmustuhtton: (2023)

Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9–11, 2024, Proceedings /
Almmustuhtton: (2024)

Handbook of computational linguistics and natural language prcessing/
Almmustuhtton: (2010)

The French School of Programming
Almmustuhtton: (2024)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Almmustuhtton: (2024)

Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18–24, 2018, Revised Selected Papers, Part I /
Almmustuhtton: (2023)

Metainferential Logics
Dahkki: Pailos, Federico, et al.
Almmustuhtton: (2023)

Institution-independent Model Theory
Dahkki: Diaconescu, Răzvan
Almmustuhtton: (2025)

Textual Emotion Classification Using Deep Broad Learning
Dahkki: Peng, Sancheng, et al.
Almmustuhtton: (2024)