An Optimal Simulation of Counter Machines: The ACM Case
Paul M. B. Vitanyi · SIAM Journal on Computing · 1985
An Augmented Counter Machine (ACM) is a multicounter machine, with initially nonzero counters allowed, and the additional one-step instruction “set counter i to the value of counter j”, for any pair of counters i and j. Each ACM can be real-time simulated by an oblivious one-head tape unit using the information-theoretical storage optimum.