18 research outputs found
Four states are enough!
International audienceThis paper presents a 1D intrinsically universal cellular automaton with four states for a first neighbors neighborhood, improving on the previous lower bound and getting nearer to the Turing universality bound. Intrinsic universality is discussed. Construction and proof rely on a combination of bulking techniques with programming using particles and collisions
Intrinsic universality and the computational power of self-assembly
This short survey of recent work in tile self-assembly discusses the use of
simulation to classify and separate the computational and expressive power of
self-assembly models. The journey begins with the result that there is a single
universal tile set that, with proper initialization and scaling, simulates any
tile assembly system. This universal tile set exhibits something stronger than
Turing universality: it captures the geometry and dynamics of any simulated
system. From there we find that there is no such tile set in the
noncooperative, or temperature 1, model, proving it weaker than the full tile
assembly model. In the two-handed or hierarchal model, where large assemblies
can bind together on one step, we encounter an infinite set, of infinite
hierarchies, each with strictly increasing simulation power. Towards the end of
our trip, we find one tile to rule them all: a single rotatable flipable
polygonal tile that can simulate any tile assembly system. It seems this could
be the beginning of a much longer journey, so directions for future work are
suggested.Comment: In Proceedings MCU 2013, arXiv:1309.104
Intrinsic Simulations between Stochastic Cellular Automata
The paper proposes a simple formalism for dealing with deterministic,
non-deterministic and stochastic cellular automata in a unifying and composable
manner. Armed with this formalism, we extend the notion of intrinsic simulation
between deterministic cellular automata, to the non-deterministic and
stochastic settings. We then provide explicit tools to prove or disprove the
existence of such a simulation between two stochastic cellular automata, even
though the intrinsic simulation relation is shown to be undecidable in
dimension two and higher. The key result behind this is the caracterization of
equality of stochastic global maps by the existence of a coupling between the
random sources. We then prove that there is a universal non-deterministic
cellular automaton, but no universal stochastic cellular automaton. Yet we
provide stochastic cellular automata achieving optimal partial universality.Comment: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.249
Irrationality is needed to compute with signal machines with only three speeds
International audienceSpace-time diagrams of signal machines on finite configurations are composed of interconnected line segments in the Euclidean plane. As the system runs, a network emerges. If segments extend only in one or two directions, the dynamics is finite and simplistic. With four directions, it is known that fractal generation, accumulation and any Turing computation are possible. This communication deals with the three directions/sp eeds case. If there is no irrational ratio (between initial distances between signals or between speeds) then the network follows a mesh preventing accumulation and forcing a cyclic behavior. With an irrational ratio (here, the Golden ratio) between initial distances, it becomes possible to provoke an accumulation that generates infinitely many interacting signals in a bounded portion of the Euclidean plane. This b ehavior is then controlled and used in order to simulate a Turing machine and generate a 25-state 3-speed Turing-universal signal machin
The Two-Handed Tile Assembly Model Is Not Intrinsically Universal
In this paper, we study the intrinsic universality of the well-studied Two-Handed Tile Assembly Model (2HAM), in which two “supertile” assemblies, each consisting of one or more unit-square tiles, can fuse together (self-assemble) whenever their total attachment strength is at least the global temperature τ. Our main result is that for all τ′ < τ, each temperature-τ′ 2HAM tile system cannot simulate at least one temperature-τ 2HAM tile system. This impossibility result proves that the 2HAM is not intrinsically universal, in stark contrast to the simpler abstract Tile Assembly Model which was shown to be intrinsically universal (The tile assembly model is intrinsically universal, FOCS 2012). On the positive side, we prove that, for every fixed temperature τ ≥ 2, temperature-τ 2HAM tile systems are intrinsically universal: for each τ there is a single universal 2HAM tile set U that, when appropriately initialized, is capable of simulating the behavior of any temperature τ 2HAM tile system. As a corollary of these results we find an infinite set of infinite hierarchies of 2HAM systems with strictly increasing power within each hierarchy. Finally, we show how to construct, for each τ, a temperature-τ 2HAM system that simultaneously simulates all temperature-τ 2HAM systems
Complexity of Small Universal Turing Machines: A Survey
We survey some work concerned with small universal Turing machines, cellular automata, tag systems, and other simple models of computation. For example it has been an open question for some time as to whether the smallest known universal Turing machines of Minsky, Rogozhin, Baiocchi and Kudlek are efficient (polynomial time) simulators of Turing machines. These are some of the most intuitively simple computational devices and previously the best known simulations were exponentially slow. We discuss recent work that shows that these machines are indeed efficient simulators. In addition, another related result shows that Rule 110, a well-known elementary cellular automaton, is efficiently universal. We also discuss some old and new universal program size results, including the smallest known universal Turing machines. We finish the survey with results on generalised and restricted Turing machine models including machines with a periodic background on the tape (instead of a blank symbol), multiple tapes, multiple dimensions, and machines that never write to their tape. We then discuss some ideas for future work
The complexity of small universal Turing machines: a survey
We survey some work concerned with small universal Turing machines, cellular
automata, tag systems, and other simple models of computation. For example it
has been an open question for some time as to whether the smallest known
universal Turing machines of Minsky, Rogozhin, Baiocchi and Kudlek are
efficient (polynomial time) simulators of Turing machines. These are some of
the most intuitively simple computational devices and previously the best known
simulations were exponentially slow. We discuss recent work that shows that
these machines are indeed efficient simulators. In addition, another related
result shows that Rule 110, a well-known elementary cellular automaton, is
efficiently universal. We also discuss some old and new universal program size
results, including the smallest known universal Turing machines. We finish the
survey with results on generalised and restricted Turing machine models
including machines with a periodic background on the tape (instead of a blank
symbol), multiple tapes, multiple dimensions, and machines that never write to
their tape. We then discuss some ideas for future work