16,640 research outputs found
Intrinsically Universal Cellular Automata
This talk advocates intrinsic universality as a notion to identify simple
cellular automata with complex computational behavior. After an historical
introduction and proper definitions of intrinsic universality, which is
discussed with respect to Turing and circuit universality, we discuss
construction methods for small intrinsically universal cellular automata before
discussing techniques for proving non universality
A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton
We describe a simple n-dimensional quantum cellular automaton (QCA) capable
of simulating all others, in that the initial configuration and the forward
evolution of any n-dimensional QCA can be encoded within the initial
configuration of the intrinsically universal QCA. Several steps of the
intrinsically universal QCA then correspond to one step of the simulated QCA.
The simulation preserves the topology in the sense that each cell of the
simulated QCA is encoded as a group of adjacent cells in the universal QCA.Comment: 13 pages, 7 figures. In Proceedings of the 4th International
Conference on Language and Automata Theory and Applications (LATA 2010),
Lecture Notes in Computer Science (LNCS). Journal version: arXiv:0907.382
Quantum Cellular Automata
Quantum cellular automata (QCA) are reviewed, including early and more recent
proposals. QCA are a generalization of (classical) cellular automata (CA) and
in particular of reversible CA. The latter are reviewed shortly. An overview is
given over early attempts by various authors to define one-dimensional QCA.
These turned out to have serious shortcomings which are discussed as well.
Various proposals subsequently put forward by a number of authors for a general
definition of one- and higher-dimensional QCA are reviewed and their properties
such as universality and reversibility are discussed.Comment: 12 pages, 3 figures. To appear in the Springer Encyclopedia of
Complexity and Systems Scienc
Computations on Nondeterministic Cellular Automata
The work is concerned with the trade-offs between the dimension and the time
and space complexity of computations on nondeterministic cellular automata. It
is proved, that
1). Every NCA \Cal A of dimension , computing a predicate with time
complexity T(n) and space complexity S(n) can be simulated by -dimensional
NCA with time and space complexity and
by -dimensional NCA with time and space complexity .
2) For any predicate and integer if \Cal A is a fastest
-dimensional NCA computing with time complexity T(n) and space
complexity S(n), then .
3). If is time complexity of a fastest -dimensional NCA
computing predicate then T_{r+1,P} &=O((T_{r,P})^{1-r/(r+1)^2}),
T_{r-1,P} &=O((T_{r,P})^{1+2/r}). Similar problems for deterministic CA are
discussed.Comment: 18 pages in AmsTex, 3 figures in PostScrip
Towards a high performance cellular automata programming skeleton
Cellular automata provide an abstract model of parallel computation that can be effectively used for modeling and simulation of complex phenomena and systems. In this paper, we start from a skeleton designed to facilitate faster D-dimensional cellular automata application development. The key for the use of the skeleton is to achieve an efficient implementation, irrespective of the application specific details. In the parallel implementation on a cluster was important to consider issues such as task and data decomposition. With multicore clusters, new problems have emerged. The increasing numbers of cores per node, caches and shared memory inside the nodes, has led to the formation of a new hierarchy of access to processors. In this paper, we described some optimizations to restructuring the prototype code and exposing an abstracted view of the multicore cluster to the high performance CA application developer. The implementation of lattice division functions establishes a partnership relation among parallel processes. We propose that this relation can efficiently map on the multicore cluster communicational topology. We introduce a new mapping strategy that can obtain benefit in the performance by adapting its communication pattern to the hardware affinities among processes allocated in different cores. We apply our approach to a two-dimensional application achieving sensible execution time reduction.Presentado en el X Workshop Procesamiento Distribuido y Paralelo (WPDP)Red de Universidades con Carreras en Informática (RedUNCI
Self-Replicating Machines in Continuous Space with Virtual Physics
JohnnyVon is an implementation of self-replicating machines in
continuous two-dimensional space. Two types of particles drift
about in a virtual liquid. The particles are automata with
discrete internal states but continuous external relationships.
Their internal states are governed by finite state machines but
their external relationships are governed by a simulated physics
that includes Brownian motion, viscosity, and spring-like attractive
and repulsive forces. The particles can be assembled into patterns
that can encode arbitrary strings of bits. We demonstrate that, if
an arbitrary "seed" pattern is put in a "soup" of separate individual
particles, the pattern will replicate by assembling the individual
particles into copies of itself. We also show that, given sufficient
time, a soup of separate individual particles will eventually
spontaneously form self-replicating patterns. We discuss the implications
of JohnnyVon for research in nanotechnology, theoretical biology, and
artificial life
A Quantum Game of Life
This research describes a three dimensional quantum cellular automaton (QCA)
which can simulate all other 3D QCA. This intrinsically universal QCA belongs
to the simplest subclass of QCA: Partitioned QCA (PQCA). PQCA are QCA of a
particular form, where incoming information is scattered by a fixed unitary U
before being redistributed and rescattered. Our construction is minimal amongst
PQCA, having block size 2 x 2 x 2 and cell dimension 2. Signals, wires and
gates emerge in an elegant fashion.Comment: 13 pages, 10 figures. Final version, accepted by Journ\'ees Automates
Cellulaires (JAC 2010)
- …