当前位置:
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.)
Prof. Schönhage's Mysterious Machines
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2021-08-19 , DOI: arxiv-2108.08606 J. -M. Chauvet
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2021-08-19 , DOI: arxiv-2108.08606 J. -M. Chauvet
We give a simple Sch\"onhage Storage Modification Machine that simulates one
iteration of the Rule 110 cellular automaton. This provides an alternative
construction to Sch\"onhage's original proof of the Turing completeness of the
eponymous machines.
中文翻译:
Schönhage 教授的神秘机器
我们给出了一个简单的 Sch\"onhage 存储修改机,它模拟了规则 110 元胞自动机的一次迭代。这为 Sch\"onhage 对同名机器的图灵完备性的原始证明提供了一种替代构造。
更新日期:2021-08-20
中文翻译:
Schönhage 教授的神秘机器
我们给出了一个简单的 Sch\"onhage 存储修改机,它模拟了规则 110 元胞自动机的一次迭代。这为 Sch\"onhage 对同名机器的图灵完备性的原始证明提供了一种替代构造。