Computations on Counter Machines with Summator


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

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.

Авторлар туралы

S. Marchenkov

Faculty of Computational Mathematics and Cybernetics

Хат алмасуға жауапты Автор.
Email: ssmarchen@yandex.ru
Ресей, Moscow, 119991

I. Savitskii

Faculty of Computational Mathematics and Cybernetics

Email: ssmarchen@yandex.ru
Ресей, Moscow, 119991

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Allerton Press, Inc., 2018