Real-time Simulation of Multidimensional Turing Machines by Storage Modification Machines

Abstract

In [1] the author introduced a new machine model, now called the Storage Modification Machine (SMM). It was claimed, but not proved, that SMM's can simulate all sorts of Turing machines-- those with multidimensional worktapes in particular -- in real time.