Sciweavers

500 search results - page 12 / 100
» Universality and Cellular Automata
Sort
View
137
Voted
FUIN
2002
113views more  FUIN 2002»
15 years 3 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
131
Voted
MCU
1998
154views Hardware» more  MCU 1998»
15 years 4 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
104
Voted
ACRI
2004
Springer
15 years 9 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
15 years 4 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
147
Voted
CORR
2011
Springer
175views Education» more  CORR 2011»
14 years 10 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