Compiling Turing Machines into Storage Modification Machines
2021-09-28Code Available0· sign in to hype
J. -M. Chauvet
Code Available — Be the first to reproduce this paper.
ReproduceCode
- github.com/crtandkdu/smmOfficialIn papernone★ 0
Abstract
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.