Abstract

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}\).

中文翻译：

---

带计数器的注册机算术化

摘要

带计数器的注册机在Grzegorczyk层次结构的类\（\ mathcal {E} ^ {0} \）中被算术化。作为一个序列，我们通过在Grzegorczyk类\（\ mathcal {E} ^ {2} \）中进行叠加来构造一个新的简单基础。