On the time complexity of 2-tag systems and small universal Turing machines

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 machines in polynomial time. This is an exponential improvement on the previously known simulation time overhead and improves a forty year old result in the area of small universal Turing machines.

• Type: Conference
• Year: 2006
• Where: FOCS
• Authors: Damien Woods, Turlough Neary
• Keywords: FOCS 2006, Small Universal Turing, Theoretical Computer Science, Turing Machines, Universal Turing Machines