Sciweavers

377 search results - page 5 / 76
» Quantization of cellular automata
Sort
View
ACRI
2004
Springer
15 years 3 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 5 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