Kernels of partially recursive functions naming computational complexity classes
β Scribed by A. S. Barashko; S. I. Roizen
- Publisher
- Springer US
- Year
- 1977
- Tongue
- English
- Weight
- 649 KB
- Volume
- 12
- Category
- Article
- ISSN
- 1573-8337
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
This paper studies possible extensions of the concept of complexity class of recursive functions to partial recursive functions. Many of the well-known results for total complexity classes are shown to have corresponding, though not exactly identical, statements for partial classes. In particular, w
## Abstract In this note we consider registerβmachines with symbol manipulation capabilities. They can form words over a given alphabet in their registers by appending symbols to the strings already stored. These machines are similar to Post's normal systems and the related machineβmodels discussed