Results 1  10
of
11
Four Small Universal Turing Machines
, 2009
"... We present universal Turing machines with statesymbol pairs of (5, 5), (6, 4), (9, 3) and (15, 2). These machines simulate our new variant of tag system, the bitag system and are the smallest known singletape universal Turing machines with 5, 4, 3 and 2symbols, respectively. Our 5symbol machin ..."
Abstract

Cited by 21 (7 self)
 Add to MetaCart
(Show Context)
We present universal Turing machines with statesymbol pairs of (5, 5), (6, 4), (9, 3) and (15, 2). These machines simulate our new variant of tag system, the bitag system and are the smallest known singletape universal Turing machines with 5, 4, 3 and 2symbols, respectively. Our 5symbol machine uses the same number of instructions (22) as the smallest known universal Turing machine by Rogozhin. Also, all of the universal machines we present here simulate Turing machines in polynomial time.
On the time complexity of 2tag systems and small universal Turing machines
 In In 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006
, 2006
"... ..."
(Show Context)
A small fast universal Turing machine
 Theoretical Computer Science
, 2005
"... We present a small timeefficient universal Turing machine with 5 states and 6 symbols. This Turing machine simulates our new variant of tag system. It is the smallest known universal Turing machine that simulates Turing machine computations in polynomial time. ..."
Abstract

Cited by 16 (8 self)
 Add to MetaCart
(Show Context)
We present a small timeefficient universal Turing machine with 5 states and 6 symbols. This Turing machine simulates our new variant of tag system. It is the smallest known universal Turing machine that simulates Turing machine computations in polynomial time.
Small semiweakly universal Turing machines
 Machines, Computations and Universality (MCU), volume 4664 of LNCS
, 2007
"... Abstract. We present three small universal Turing machines that have 3 states and 7 symbols, 4 states and 5 symbols, and 2 states and 13 symbols, respectively. These machines are semiweakly universal which means that on one side of the input they have an infinitely repeated word, and on the other s ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
(Show Context)
Abstract. We present three small universal Turing machines that have 3 states and 7 symbols, 4 states and 5 symbols, and 2 states and 13 symbols, respectively. These machines are semiweakly universal which means that on one side of the input they have an infinitely repeated word, and on the other side there is the usual infinitely repeated blank symbol. This work can be regarded as a continuation of early work by Watanabe on semiweak machines. One of our machines has only 17 transition rules, making it the smallest known semiweakly universal Turing machine. Interestingly, two of our machines are symmetric with Watanabe’s 7state and 3symbol, and 5state and 4symbol machines, even though we use a different simulation technique. 1.
Small weakly universal Turing machines
"... Abstract. We give small universal Turing machines with statesymbol pairs of (6, 2), (3,3) and (2,4). These machines are weakly universal, which means that they have an infinitely repeated word to the left of their input and another to the right. They simulate Rule 110 and are currently the smallest ..."
Abstract

Cited by 11 (6 self)
 Add to MetaCart
(Show Context)
Abstract. We give small universal Turing machines with statesymbol pairs of (6, 2), (3,3) and (2,4). These machines are weakly universal, which means that they have an infinitely repeated word to the left of their input and another to the right. They simulate Rule 110 and are currently the smallest known weakly universal Turing machines. Despite their small size these machines are efficient polynomial time simulators of Turing machines. 1
The complexity of small universal Turing machines: a survey, Theor. Comput. Sci
, 2009
"... ..."
(Show Context)
Local Hamiltonians in quantum computing
, 2008
"... In this thesis, I investigate aspects of local Hamiltonians in quantum computing. First, I focus on the Adiabatic Quantum Computing model, based on evolution with a timedependent Hamiltonian. I show that to succeed using AQC, the Hamiltonian involved must have local structure, which leads to a resu ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
In this thesis, I investigate aspects of local Hamiltonians in quantum computing. First, I focus on the Adiabatic Quantum Computing model, based on evolution with a timedependent Hamiltonian. I show that to succeed using AQC, the Hamiltonian involved must have local structure, which leads to a result about eigenvalue gaps from information theory. I also improve results about simulating quantum circuits with AQC. Second, I look at classically simulating time evolution with local Hamiltonians and finding their ground state properties. I give a numerical method for finding the ground state of translationally invariant Hamiltonians on an infinite tree. This method is based on imaginary time evolution within the Matrix Product State ansatz, and uses a new method for bringing the state back to the ansatz after each imaginary time step. I then use it to investigate the phase transition in the transverse field Ising model on the Bethe lattice. Third, I focus on locally constrained quantum problems Local Hamiltonian and Quantum Satisfiability and prove several new results about their complexity. Finally, I define a Hamiltonian Quantum Cellular Automaton, a continuoustime model of computation which doesn’t require control
The complexity of small universal Turing machines
 Computability in Europe 2007, volume 4497 of LNCS
, 2007
"... Abstract. We present small polynomial time universal Turing machines with statesymbol pairs of (5, 5), (6, 4), (9, 3) and (18, 2). These machines simulate our new variant of tag system, the bitag system and are the smallest known universal Turing machines with 5, 4, 3 and 2symbols respectively. O ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
(Show Context)
Abstract. We present small polynomial time universal Turing machines with statesymbol pairs of (5, 5), (6, 4), (9, 3) and (18, 2). These machines simulate our new variant of tag system, the bitag system and are the smallest known universal Turing machines with 5, 4, 3 and 2symbols respectively. Our 5symbol machine uses the same number of instructions (22) as the smallest known universal Turing machine by Rogozhin. 1
Small Turing universal signal machines
, 906
"... This article aims at providing signal machines as small as possible able to perform any computation (in the classical understanding). After presenting signal machines, it is shown how to get universal ones from Turing machines, cellularautomata and cyclic tag systems. Finally a halting universal si ..."
Abstract
 Add to MetaCart
(Show Context)
This article aims at providing signal machines as small as possible able to perform any computation (in the classical understanding). After presenting signal machines, it is shown how to get universal ones from Turing machines, cellularautomata and cyclic tag systems. Finally a halting universal signal machine with 13 metasignals and 21 collision rules is presented. 1