5,473 research outputs found
Decidability and Universality in Symbolic Dynamical Systems
Many different definitions of computational universality for various types of
dynamical systems have flourished since Turing's work. We propose a general
definition of universality that applies to arbitrary discrete time symbolic
dynamical systems. Universality of a system is defined as undecidability of a
model-checking problem. For Turing machines, counter machines and tag systems,
our definition coincides with the classical one. It yields, however, a new
definition for cellular automata and subshifts. Our definition is robust with
respect to initial condition, which is a desirable feature for physical
realizability.
We derive necessary conditions for undecidability and universality. For
instance, a universal system must have a sensitive point and a proper
subsystem. We conjecture that universal systems have infinite number of
subsystems. We also discuss the thesis according to which computation should
occur at the `edge of chaos' and we exhibit a universal chaotic system.Comment: 23 pages; a shorter version is submitted to conference MCU 2004 v2:
minor orthographic changes v3: section 5.2 (collatz functions) mathematically
improved v4: orthographic corrections, one reference added v5:27 pages.
Important modifications. The formalism is strengthened: temporal logic
replaced by finite automata. New results. Submitte
L-Convex Polyominoes are Recognizable in Real Time by 2D Cellular Automata
A polyomino is said to be L-convex if any two of its cells are connected by a
4-connected inner path that changes direction at most once. The 2-dimensional
language representing such polyominoes has been recently proved to be
recognizable by tiling systems by S. Brocchi, A. Frosini, R. Pinzani and S.
Rinaldi. In an attempt to compare recognition power of tiling systems and
cellular automata, we have proved that this language can be recognized by
2-dimensional cellular automata working on the von Neumann neighborhood in real
time.
Although the construction uses a characterization of L-convex polyominoes
that is similar to the one used for tiling systems, the real time constraint
which has no equivalent in terms of tilings requires the use of techniques that
are specific to cellular automata
On Factor Universality in Symbolic Spaces
The study of factoring relations between subshifts or cellular automata is
central in symbolic dynamics. Besides, a notion of intrinsic universality for
cellular automata based on an operation of rescaling is receiving more and more
attention in the literature. In this paper, we propose to study the factoring
relation up to rescalings, and ask for the existence of universal objects for
that simulation relation. In classical simulations of a system S by a system T,
the simulation takes place on a specific subset of configurations of T
depending on S (this is the case for intrinsic universality). Our setting,
however, asks for every configurations of T to have a meaningful interpretation
in S. Despite this strong requirement, we show that there exists a cellular
automaton able to simulate any other in a large class containing arbitrarily
complex ones. We also consider the case of subshifts and, using arguments from
recursion theory, we give negative results about the existence of universal
objects in some classes
Are complex systems hard to evolve?
Evolutionary complexity is here measured by the number of trials/evaluations
needed for evolving a logical gate in a non-linear medium. Behavioural
complexity of the gates evolved is characterised in terms of cellular automata
behaviour. We speculate that hierarchies of behavioural and evolutionary
complexities are isomorphic up to some degree, subject to substrate specificity
of evolution and the spectrum of evolution parameters
Descriptional complexity of cellular automata and decidability questions
We study the descriptional complexity of cellular automata (CA), a parallel model of computation. We show that between one of the simplest cellular models, the realtime-OCA. and "classical" models like deterministic finite automata (DFA) or pushdown automata (PDA), there will be savings concerning the size of description not bounded by any recursive function, a so-called nonrecursive trade-off. Furthermore, nonrecursive trade-offs are shown between some restricted classes of cellular automata. The set of valid computations of a Turing machine can be recognized by a realtime-OCA. This implies that many decidability questions are not even semi decidable for cellular automata. There is no pumping lemma and no minimization algorithm for cellular automata
- …