当前位置:
X-MOL 学术
›
arXiv.cs.FL
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A Physically Universal Turing Machine
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2020-03-20 , DOI: arxiv-2003.10328 Ville Salo and Ilkka T\"orm\"a
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2020-03-20 , DOI: arxiv-2003.10328 Ville Salo and Ilkka T\"orm\"a
We construct a two-dimensional Turing machine that is physically universal in
both the moving tape and moving head model. In particular, it is mixing of all
finite orders in both models. We also provide a variant that is physically
universal in the moving tape model, but not in the moving head model.
中文翻译:
物理通用的图灵机
我们构建了一个二维图灵机,它在移动磁带和移动头模型中都是物理通用的。特别是,它混合了两个模型中的所有有限阶。我们还提供了一个在移动磁带模型中物理通用的变体,但在移动头模型中不通用。
更新日期:2020-03-24
中文翻译:
物理通用的图灵机
我们构建了一个二维图灵机,它在移动磁带和移动头模型中都是物理通用的。特别是,它混合了两个模型中的所有有限阶。我们还提供了一个在移动磁带模型中物理通用的变体,但在移动头模型中不通用。