Understanding Computation [E-Book] : Pillars, Paradigms, Principles / by Arnold L. Rosenberg, Lenwood S. Heath.
Computation theory is a discipline that uses mathematical concepts and tools to expose the nature of "computation" and to explain a broad range of computational phenomena: Why is it harder to perform some computations than others? Are the differences in difficulty that we observe inherent,...
Saved in:
Full text |
|
Personal Name(s): | Rosenberg, Arnold L., author |
Heath, Lenwood S., author | |
Edition: |
1st edition 2022. |
Imprint: |
Cham :
Springer,
2022
|
Physical Description: |
XVII, 570 pages 87 illustrations (online resource) |
Note: |
englisch |
ISBN: |
9783031100550 |
DOI: |
10.1007/978-3-031-10055-0 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Texts in Computer Science
|
Subject (LOC): |
- Preface
- I: Introduction
- 1 Introducing Computation Theory
- 2 Introducing the Book
- II: Pillar S: STATE
- 3 Pure State-Based Computational Models
- 4 The Myhill-Nerode Theorem: Implications and Applications
- 5 Online Turing Machines and the Implications of Online Computing
- 6 Pumping: Computational Pigeonholes in Finitary Systems
- 7 Mobility in Computing: An FA Navigates a Mesh
- 8 The Power of Cooperation: Teams of MFAs on a Mesh
- III: Pillar E: ENCODING
- 9 Countability and Uncountability: The Precursors of ENCODING
- 10 Computability Theory
- 11 A Church-Turing Zoo of Computational Models
- 12 Pairing Functions as Encoding Mechanisms
- IV: Pillar N: NONDETERMINISM
- 13 Nondeterminism as Unbounded Parallelism
- 14 Nondeterministic Finite Automata
- 15 Nondeterminism as Unbounded Search
- 16 Complexity Theory
- V: Pillar P: PRESENTATION/SPECIFICATION
- 17 The Elements of Formal Language Theory
- A A Chapter-Long Text on Discrete Mathematics
- B Selected Exercises, by Chapter
- List of ACRONYMS and SYMBOLS
- References
- Index.