当前位置: 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

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
down
wechat
bug