ON THE SIMULATION OF REAL-TIME TURING MACHINES BY A MODIFIED SCHEPHERDSON-STURGIS' MACHINE
Seiiti Huzino · Memoirs of the Faculty of Science Kyushu University Series A Mathematics · 1966
By making use of the programming technique developed in [1], we shall study a problem whether a given real-time Turing machine with k work-tapes is simulatable by a modified Schepherdson-Sturgis' machine or not, and give an affirmative solution of the question by constructing a simulation program in such a machine.