Computations on Counter Machines with Summator
Sergey Seraphimovich Marchenkov, Igor Vladimirovich Savitskii · Moscow University Computational Mathematics and Cybernetics · 2018
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.