The Pillars of Computation Theory State, Encoding, Nondeterminism /

Computation theory is a discipline that strives to use mathematical tools and concepts in order to expose the nature of the activity that we call "computation" and to explain a broad range of observed computational phenomena. Why is it harder to perform some computations than others? Are t...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Rosenberg, Arnold L. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Universitext,
Temas:
Computer science.
Computer science-Mathematics.
Algorithms.
Mathematical logic.
Machine theory.
Theory of Computation.
Mathematics of Computing.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • PROLEGOMENA
  • Mathematical Preliminaries
  • STATE
  • Online Automata: Exemplars of #x201C;State#x201D;
  • Finite Automata and Regular Languages
  • Applications of the Myhill#x2013;Nerode Theorem
  • Enrichment Topics
  • ENCODING
  • Countability and Uncountability: The Precursors of #x201C;Encoding#x201D;
  • Enrichment Topic: #x201C;Efficient#x201D; Pairing Functions, with Applications
  • Computability Theory
  • NONDETERMINISM
  • Nondeterministic Online Automata
  • Nondeterministic FAs
  • Nondeterminism in Computability Theory
  • Complexity Theory.

Ejemplares similares