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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Ogihara, Mitsunori (VerfasserIn)
Körperschaft: SpringerLink (Online service)
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Ausgabe:1st ed. 2025.
Schlagworte:
Online-Zugang:https://doi.org/10.1007/978-3-031-84740-0
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Inhaltsangabe:
  • Part I Preparation
  • Chapter 0 Mathematics and Computer Science Basics
  • Part II Formal Language Theory and Automata
  • Chapter 1 The Regular Languages
  • Chapter 2 Non-Regularity
  • Chapter 3 The Context-Free Languages
  • Chapter 4 The Pushdown Automaton Model
  • Part III Undecidability and Turing Machines
  • Chapter 5 The Turing Machines
  • Chapter 6 Decidable Languages
  • Chapter 7 Undecidable Languages
  • Part IV Computational Complexity and Resource-Bounded Turing Machine Computation
  • Chapter 8 The Time Complexity
  • Chapter 9 The Space Complexity
  • Chapter 10 The Theory of NP-Completeness
  • Chapter 11 Beyond NP-Completeness
  • Part V Advanced Topics in Computational Complexity Theory
  • Chapter 12 The Probabilistic Polynomial-Time Classes
  • Chapter 13 Circuit Complexity and Unambiguity.