52 search results - page 1 / 11 » Simulating Turing machines on Maurer machines |
JAPLL
2008
13 years 5 months ago
2008
Maurer machines are much closer to real computers than Turing machines. Computer instructions play a prominent part in Maurer machines. We show a straightforward way to simulate Tu...
DATE
2000
IEEE
13 years 9 months ago
2000
IEEE
FUIN
2007
13 years 5 months ago
2007
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
FOCS
2006
IEEE
13 years 11 months ago
2006
IEEE
We show that 2-tag systems efficiently simulate Turing machines. As a corollary we find that the small universal Turing machines of Rogozhin, Minsky and others simulate Turing ma...
TCS
2012
12 years 24 days ago
2012
Abstract. The standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one essentially searches a large boundeddegree graph whose size is exponential in th...