Computations on Counter Machines with Summator


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

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.

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

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Allerton Press, Inc., 2018