Sciweavers

367 search results - page 11 / 74
» Time-Symmetric Cellular Automata
Sort
View
ACRI
2004
Springer
15 years 5 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 1 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
2010
Springer
102views Education» more  CORR 2010»
14 years 11 months ago
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 ...
Laurent Boyer, Guillaume Theyssier