Enviar artigo por via de e-mail Register machines with counters
- Autores: Savitskii I.V.1
-
Afiliações:
- Faculty of Computational Mathematics and Cybernetics
- Edição: Volume 96, Nº 2 (2017)
- Páginas: 486-487
- Seção: Mathematics
- URL: https://journals.rcsi.science/1064-5624/article/view/225390
- DOI: https://doi.org/10.1134/S1064562417050222
- ID: 225390
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
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.
Sobre autores
I. Savitskii
Faculty of Computational Mathematics and Cybernetics
Autor responsável pela correspondência
Email: savvig@gmail.com
Rússia, Moscow, 119991
Arquivos suplementares
