Schulz, Holger: Recursion and subrecursion over finite and infinite words with applications to computable real valued functions. 2006
Inhalt
- Contents
- 1 Introduction
- 2 Preliminaries
- 2.1 Conventions
- 2.2 Primitive Recursion and the Classical Grzegorczyk Hierarchy
- 2.3 Type Two Turing Machines and Infinite Computations
- 2.4 Domain Theoretic Preliminaries
- 3 Word functions
- 3.1 Basics
- 3.2 Primitive Recursion on Word Functions
- 3.3 Monotonic functions
- 3.4 Uniform and truly uniform recursion
- 3.5 Lookahead of fully monotonic functions
- 3.6 Real Valued Functions
- 4 Dyadic Recursion on Intervals
- 5 Conclusion
- Appendix A
- Appendix B
- Index
- Bibliography