Computations on register machines with counters
Igor Vladimirovich Savitskii · Discrete Mathematics and Applications · 2018
Abstract Computational capabilities of register machines with counters is investigated. It is shown that the class of functions that are strictly computable on register machines with counters agrees with that of total recursive functions.