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

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