Time complexity of multidimensional Turing machines

It is proved that the work of an indeterminate m-dimensional Turing machine with time complexity t can be simulated on an indeterminate k-dimensional (k≤m) Turing machine with time complexity t1−(1/m)+(1/k)+ɛ (for any ε>0). Moreover, the following generalization to the multidimensional case of the familiar theorem of Hopcroft, Paul, and Valiant is proved: the work of an m-dimensional Turing machine with time complexity t log1/mt [t(n)≥n] can be simulated on an address machine working with time complexity t.

[1]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[2]  Mike Paterson Tape Bounds for Time-Bounded Turing Machines , 1972, J. Comput. Syst. Sci..

[3]  F. C. Hennie,et al.  On-Line Turing Machine Computations , 1966, IEEE Trans. Electron. Comput..

[4]  Leslie G. Valiant,et al.  On time versus space and related problems , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).

[5]  A. Schonage,et al.  REAL-TIME SIMULATION OF MULTIDIMENSIONAL TURING MACHINES BY STORAGE MODIFICATION MACHINES , 1973 .