Register machines with counters
- 作者: Savitskii I.V.1
-
隶属关系:
- Faculty of Computational Mathematics and Cybernetics
- 期: 卷 96, 编号 2 (2017)
- 页面: 486-487
- 栏目: Mathematics
- URL: https://journals.rcsi.science/1064-5624/article/view/225390
- DOI: https://doi.org/10.1134/S1064562417050222
- ID: 225390
如何引用文章
详细
Register machines with counters (RC machines) are studied. It is shown that any computable function can be strictly computed on RC machines with a bounded number of counters and programs. The place in the Kleene–Mostowski hierarchy of certain algorithmic problems related to RC machines is determined.
作者简介
I. Savitskii
Faculty of Computational Mathematics and Cybernetics
编辑信件的主要联系方式.
Email: savvig@gmail.com
俄罗斯联邦, Moscow, 119991
补充文件
