Computations on Counter Machines with Summator
- Autores: Marchenkov S.S.1, Savitskii I.V.1
-
Afiliações:
- Faculty of Computational Mathematics and Cybernetics
- Edição: Volume 42, Nº 1 (2018)
- Páginas: 31-38
- Seção: Article
- URL: https://journals.rcsi.science/0278-6419/article/view/176217
- DOI: https://doi.org/10.3103/S0278641918010065
- ID: 176217
Citar
Resumo
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.
Palavras-chave
Sobre autores
S. Marchenkov
Faculty of Computational Mathematics and Cybernetics
Autor responsável pela correspondência
Email: ssmarchen@yandex.ru
Rússia, Moscow, 119991
I. Savitskii
Faculty of Computational Mathematics and Cybernetics
Email: ssmarchen@yandex.ru
Rússia, Moscow, 119991
Arquivos suplementares
