Email this article Computations on Counter Machines with Summator
- Authors: Marchenkov S.S.1, Savitskii I.V.1
-
Affiliations:
- Faculty of Computational Mathematics and Cybernetics
- Issue: Vol 42, No 1 (2018)
- Pages: 31-38
- Section: Article
- URL: https://journals.rcsi.science/0278-6419/article/view/176217
- DOI: https://doi.org/10.3103/S0278641918010065
- ID: 176217
Cite item
Open Access
Access granted
Subscription Access
Abstract
A new class of abstract computational devices, counter machines with summator (CS machines), is introduced. It is shown that CS machines are universal computational devices: any general recursive function can be strictly computed on an appropriate CS machine.
About the authors
S. S. Marchenkov
Faculty of Computational Mathematics and Cybernetics
Author for correspondence.
Email: ssmarchen@yandex.ru
Russian Federation, Moscow, 119991
I. V. Savitskii
Faculty of Computational Mathematics and Cybernetics
Email: ssmarchen@yandex.ru
Russian Federation, Moscow, 119991
Supplementary files
