Simulating Turing machines on Maurer machines

✍ Scribed by J.A. Bergstra; C.A. Middelburg

• Publisher: Elsevier Science
• Year: 2008
• Tongue: English
• Weight: 293 KB
• Volume: 6
• Category: Article
• ISSN: 1570-8683
• DOI: 10.1016/j.jal.2007.04.001

✦ Synopsis

In a previous paper, we used Maurer machines to model and analyse micro-architectures. In the current paper, we investigate the connections between Turing machines and Maurer machines with the purpose to gain an insight into computability issues relating to Maurer machines. We introduce ways to simulate Turing machines on a Maurer machine which, dissenting from the classical theory of computability, take into account that in reality computations always take place on finite machines. In one of those ways, multi-threads and thread forking have an interesting theoretical application.