A program which eventually stops but does not halt "too quickly" halts at a time which is algorithmicallycompressible. This result originally proved in [4] - is proved in a more general setting. Following M...
详细信息
A program which eventually stops but does not halt "too quickly" halts at a time which is algorithmicallycompressible. This result originally proved in [4] - is proved in a more general setting. Following Mania [11] we convert the result into an anytime algorithm for the halting problem and we show that the stopping time (en off temporal bound) cannot be significantly improved.
暂无评论