Arithmetization of Register Machines with Counters
Igor Vladimirovich Savitskii · Moscow University Computational Mathematics and Cybernetics · 2020
Register machines with counters are arithmetized in class $$\mathcal{E}^{0}$$ of the Grzegorczyk hierarchy. As a sequence, we construct a new simple basis via superpositioning in Grzegorczyk class $$\mathcal{E}^{2}$$ .