scholarly journals Linear Time Language Recognition on Cellular Automata with Restricted Communication

Author(s):  
Thomas Worsch
2003 ◽  
Vol DMTCS Proceedings vol. AB,... (Proceedings) ◽  
Author(s):  
Bruno Durand ◽  
Enrico Formenti ◽  
Aristide Grange ◽  
Zsuzsanna Róka

International audience This paper is a survey on our recent results about number conserving cellular automata. First, we prove the linear time decidability of the property of number conservation. The sequel focuses on dynamical evolutions of number conserving cellular automata.


2001 ◽  
Vol DMTCS Proceedings vol. AA,... (Proceedings) ◽  
Author(s):  
Jérôme Durand-Lose

International audience Cellular automata are mappings over infinite lattices such that each cell is updated according tothe states around it and a unique local function.Block permutations are mappings that generalize a given permutation of blocks (finite arrays of fixed size) to a given partition of the lattice in blocks.We prove that any d-dimensional reversible cellular automaton can be exp ressed as thecomposition of d+1 block permutations.We built a simulation in linear time of reversible cellular automata by reversible block cellular automata (also known as partitioning CA and CA with the Margolus neighborhood) which is valid for both finite and infinite configurations. This proves a 1990 conjecture by Toffoli and Margolus <i>(Physica D 45)</i> improved by Kari in 1996 <i>(Mathematical System Theory 29)</i>.


2010 ◽  
Vol 19 (1) ◽  
pp. 89-113 ◽  
Author(s):  
Nirmalya S. Maiti ◽  
Soumyabrata Ghosh ◽  
Shiladitya Munshi ◽  
P. Pal Chaudhuri ◽  

2008 ◽  
Vol 206 (9-10) ◽  
pp. 1142-1151 ◽  
Author(s):  
Martin Kutrib ◽  
Andreas Malcher

1983 ◽  
Vol 19 (4) ◽  
pp. 397-407 ◽  
Author(s):  
R. Sommerhalder ◽  
S. C. van Westrhenen

Sign in / Sign up

Export Citation Format

Share Document