当前位置: X-MOL 学术Moscow Univ. Comput. Math. Cybern. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Arithmetization of Register Machines with Counters
Moscow University Computational Mathematics and Cybernetics Pub Date : 2020-09-14 , DOI: 10.3103/s0278641920030048
I. V. Savitskii

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} \)中进行叠加来构造一个新的简单基础。
更新日期:2020-09-14
down
wechat
bug