可重置无限时间Blum-Shub-Smale机
逻辑
2020-02-17 v2
摘要
在本文中,我们研究由Seyfferth在[14]与Welch在[15]提出的无限时间Blum-Shub-Smale机(ITBMs)的强化版本,其通过修改机器在极限阶段的行为获得。特别地,我们研究强无限时间Blum-Shub-Smale机(SITBMs),这是ITBMs的一种变体,其中在极限步计算寄存器内容时lim被lim inf替代。我们将给出此类机器计算能力的下界。随后,我们研究计算复杂度较低的SITBMs限制版本的计算能力。我们将给出这些机器计算能力的上界,在此过程中我们将强化[15]中的一个结果,并对Welch在[15]中提出的问题给出部分回答。
引用
@article{arxiv.2001.07133,
title = {Resetting Infinite Time Blum-Shub-Smale-Machines},
author = {Merlin Carl and Lorenzo Galeotti},
journal= {arXiv preprint arXiv:2001.07133},
year = {2020}
}