涉及任意实数的线性递归决策问题
摘要：线性递推问题的斯科勒姆问题、正性问题和终极正性问题在实数计算的位模型中是否可判定。我们证明对于每个问题，存在一个正确的部分算法，它对所有的问题实例停机，只需满足答案为局部常数。因此，我们在这个设置中将这三个问题判定得尽可能接近可判定。我们进一步证明，正性问题和终极正性问题的算法对于几乎所有实例在欧几里得空间的勒贝格测度上是停机的。相比之下，对于精确的有理或实代数系数的类似问题，已知仅对于较低阶的线性递推具有可判定性。
作者：Eike Neumann
论文ID：2008.00583
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22