交互式计算的超递归特性
分布式、并行与集群计算
2007-10-09 v1 性能
摘要
我们在算法理论的背景下分析了分布式设备和并发算法的功能与交互。我们主要关注算法交互式设备在何种条件下以及如何能够比递归计算模型（如图灵机）更强大。实现这种更高的计算能力使得这些系统成为超递归的。我们在此发现了交互中产生超递归性的五个来源。此外，我们证明当排除所有这些来源时，所涉及的算法交互式系统仅能执行递归计算。这些结果为计算机科学家提供了通过算法交互式设备实现超递归性的必要和充分条件。
引用
@article{arxiv.0710.1455,
title = {Superrecursive Features of Interactive Computation},
author = {Mark Burgin},
journal= {arXiv preprint arXiv:0710.1455},
year = {2007}
}