Sciweavers

500 search results - page 12 / 100
» Universality and Cellular Automata
Sort
View
FUIN
2002
113views more  FUIN 2002»
14 years 9 months ago
Cellular Automata and Intermediate Reachability Problems
Abstract. We exhibit one-dimensional cellular automata whose reachability and confluence problems have arbitrary r.e. degree of unsolvability.
Klaus Sutner
MCU
1998
154views Hardware» more  MCU 1998»
14 years 11 months ago
A computation-universal two-dimensional 8-state triangular reversible cellular automaton
A reversible cellular automaton (RCA) is a cellular automaton (CA) whose global function is injective and every configuration has at most one predecessor. Margolus showed that the...
Katsunobu Imai, Kenichi Morita
ACRI
2004
Springer
15 years 2 months ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
DLT
2007
14 years 11 months ago
The Dynamics of Cellular Automata in Shift-Invariant Topologies
Abstract. We study the dynamics of cellular automata, and more specifically their transitivity and expansivity, when the set of configurations is endowed with a shift-invariant (p...
Laurent Bienvenu, Mathieu Sablik
CORR
2011
Springer
175views Education» more  CORR 2011»
14 years 4 months ago
Traced communication complexity of cellular automata
We study cellular automata with respect to a new communication complexity problem: each of two players know half of some finite word, and must be able to tell whether the state o...
Eric Goles Ch., Pierre Guillon, Ivan Rapaport