Sciweavers

315 search results - page 2 / 63
» Reactive Turing Machines
Sort
View
FCT
2009
Springer
13 years 11 months ago
Small Weakly Universal Turing Machines
We give small universal Turing machines with state-symbol pairs of (6, 2), (3, 3) and (2, 4). These machines are weakly universal, which means that they have an infinitely repeate...
Turlough Neary, Damien Woods
MCU
2007
144views Hardware» more  MCU 2007»
13 years 6 months ago
Four Small Universal Turing Machines
We present small polynomial time universal Turing machines with state-symbol pairs of (5, 5), (6, 4), (9, 3) and (18, 2). These machines simulate our new variant of tag system, the...
Turlough Neary, Damien Woods
EUROGP
2008
Springer
135views Optimization» more  EUROGP 2008»
13 years 6 months ago
Using Genetic Programming for Turing Machine Induction
Abstract. Turing machines are playing an increasingly significant role in Computer Science domains such as bioinformatics. Instead of directly formulating a solution to a problem, ...
Amashini Naidoo, Nelishia Pillay
STOC
1993
ACM
134views Algorithms» more  STOC 1993»
13 years 8 months ago
Quantum complexity theory
In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of an efficient universal quantum Turing machine in Deutsch’s...
Ethan Bernstein, Umesh V. Vazirani
MCU
1998
117views Hardware» more  MCU 1998»
13 years 6 months ago
The Turing Closure of an Archimedean Field
A BSS machine is -uniform if it does not use exact tests; such machines are equivalent (modulo parameters) to Type 2 Turing machines. We define a notion of closure related to Turi...
Paolo Boldi, Sebastiano Vigna