Goto

Collaborating Authors

 storage modification machine


Multiway Storage Modification Machines

Chauvet, J. -M.

arXiv.org Artificial Intelligence

We present a parallel version of Sch\"onhage's Storage Modification Machine, the Multiway Storage Modification Machine (MWSMM). Like the alternative Association Storage Modification Machine of Tromp and van Emde Boas, MWSMMs recognize in polynomial time what Turing Machines recognize in polynomial space. Falling thus into the Second Machine Class, the MWSMM is a parallel machine model conforming to the Parallel Computation Thesis. We illustrate MWSMMs by a simple implementation of Wolfram's String Substitution System.


Compiling Turing Machines into Storage Modification Machines

Chauvet, J. -M.

arXiv.org Artificial Intelligence

It is well known that Sch\"onhage's Storage Modification Machines (SMM) can simulate Turing Machines (TM) since Sch\"onhage's original proof of the Turing completeness of the eponymous machines. We propose a simple transformation of TM into SMM, setting the base for a straightforward TM-to-SMM compiler.

  node, storage modification machine, turing machine, (15 more...)
2110.01415
  Genre: Research Report (0.40)

Prof. Sch\"onhage's Mysterious Machines

Chauvet, J. -M.

arXiv.org Artificial Intelligence

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.