一路计数自动机的可逆计算
摘要：确定性的有限时间多计数器自动机被研究，关于它们执行可逆计算的能力，也就是说自动机也是反向确定性的，并且能够独特地将计算向前和向后步进。我们研究这种设备的计算能力，并获得了在超多项式时间下不可逆和可逆k计数器自动机之间的分离结果。在指数时间下，我们还获得了一个关于计数器数量的无限且紧密的等级制度。这个等级制度是通过Kolmogorov复杂性和不可压缩性论证得到的。通过这种方式，我们还可以证明这个等级制度对于普通计数器自动机也成立。这改进了普通计数器自动机已知的等级制度，因为在这里我们考虑了一个较弱的接受条件。然后，结果表明k+1个可逆计数器不比k个普通计数器更好，反之亦然。最后，几乎所有通常研究的可判定性问题都被证明在可逆多计数器自动机中是不可判定的，即使至少有两个计数器被提供。
作者：Martin Kutrib (Institut f"ur Informatik, Universit"at Giessen), Andreas Malcher (Institut f"ur Informatik, Universit"at Giessen)
论文ID：2208.14720
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-01