Slika na naslovnici

An Introduction to Theory of Computation An Algorithmic Approach /

This textbook aims to provide a comprehensive introduction to the theory of computation for upper-level undergraduate students and first-year graduate students in computer science and related disciplines. It covers a wide range of foundational topics essential for understanding the principles and ap...

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Ogihara, Mitsunori (Author)
Korporativna značnica:	SpringerLink (Online service)
Format:	Elektronski eKnjiga
Jezik:	angleščina
Izdano:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Izdaja:	1st ed. 2025.
Teme:	Computer science. Machine theory. Computational complexity. Theory of Computation. Formal Languages and Automata Theory. Computational Complexity. Models of Computation.
Online dostop:	https://doi.org/10.1007/978-3-031-84740-0
Oznake:	Označite Brez oznak, prvi označite!

Podobne knjige/članki

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: (2001)

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

Elements of the Theory of Computation
od: Lewis, Harry R.
Izdano: (1998)

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

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

Principle of Petri Nets
od: Yuan, Chongyi
Izdano: (2025)

Elements of the theory of computation /
od: Lewis, Harry R
Izdano: (1981)

Elements of the theory of computation /
od: Lewis, Harry R.
Izdano: (1989)

Elements of the theory of computation /
od: Lewis, Harry R.
Izdano: (1989)

Elements of the theory of computation /
od: Lewis, Harry R
Izdano: (1981)

Elements of the theory of computation /
od: Lewis, Harry R.
Izdano: (1989)

Elements of the theory of computation /
od: Lewis, Harry R
Izdano: (1981)

Theory of automata, formal languages and computation /
od: Xavier, Eugene S. P.
Izdano: (2005)

Theory of automata, formal languages and computation /
od: Xavier, Eugene S. P.
Izdano: (2005)

Theory of automata, formal languages and computation /
od: Xavier, Eugene S. P.
Izdano: (2005)

Programs as Diagrams From Categorical Computability to Computable Categories /
od: Pavlovic, Dusko
Izdano: (2023)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Izdano: (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 /
Izdano: (2023)

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications /
od: Downey, Rod
Izdano: (2024)

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

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
od: Farmer, William M.
Izdano: (2025)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
od: Farmer, William M.
Izdano: (2023)

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

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)

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

Chaos, Complexity, and Leadership 2023
Izdano: (2024)

Institution-independent Model Theory
od: Diaconescu, Răzvan
Izdano: (2025)

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

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

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

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

15th Chaotic Modeling and Simulation International Conference
Izdano: (2023)

16th Chaotic Modeling and Simulation International Conference
Izdano: (2024)

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

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