Cellular Automata with Sparse Communication

We investigate cellular automata whose internal inter-cell communication is bounded. The communication is quantitatively measured by the number of uses of the links between cells. It is shown that even the weakest non-trivial device in question, that is, one-way cellular automata where each two neighboring cells may communicate constantly often only, accept rather complicated languages. We investigate the computational capacity of the devices in question and prove an infinite strict hierarchy depending on the bound on the total number of communications during a computation. Despite their sparse communication even for the weakest devices, by reduction of Hilbert's tenth problem undecidability of several problems is derived. Finally, the question whether a given real-time one-way cellular automaton belongs to the weakest class is shown to be undecidable. This result can be adapted to answer an open question posed in [16].

[1]  Véronique Terrier,et al.  Signals in One-Dimensional Cellular Automata , 1999, Theor. Comput. Sci..

[2]  Martin Kutrib,et al.  Cellular Automata - A Computational Point of View , 2008, New Developments in Formal Languages and Applications.

[3]  Martin Kutrib,et al.  Cellular Automata and Language Theory , 2009, Encyclopedia of Complexity and Systems Science.

[4]  S. R. Seidel Language recognition and the synchronization of cellular automata. , 1979 .

[5]  Alvy Ray Smith Cellular Automata and Formal Languages , 1970, SWAT.

[6]  Andreas Malcher Descriptional Complexity of Cellular Automata and Decidability Questions , 2001, DCFS.

[7]  R. Vollmar On Cellular Automata with a Finite Number of State Changes , 1981 .

[8]  Karel Culik,et al.  Iterative Tree Automata , 1984, Theor. Comput. Sci..

[9]  Andreas Malcher On the Descriptional Complexity of Iterative Arrays , 2004, IEICE Trans. Inf. Syst..

[10]  Martin Kutrib,et al.  On time computability of functions in one-way cellular automata , 1998, Acta Informatica.

[11]  Martin Kutrib,et al.  Fast reversible language recognition using cellular automata , 2007, Inf. Comput..

[12]  Hiroshi Umeo,et al.  A Design of Real-Time Non-Regular Sequence Generation Algorithms and Their Implementations on Cellular Automata with 1-Bit Inter-Cell Communications , 2002, Fundam. Informaticae.

[13]  Christian Choffrut,et al.  On real-time cellular automata and trellis automata , 2004, Acta Informatica.

[14]  R. Vollmar Some remarks about the “efficiency” of polyautomata , 1982 .

[15]  Hiroshi Umeo,et al.  Real-Time Generation of Primes by a 1-Bit-Communication Cellular Automaton , 2003, Fundam. Informaticae.

[16]  Oscar H. Ibarra,et al.  Reversal-Bounded Multicounter Machines and Their Decision Problems , 1978, JACM.

[17]  Gemma Bel-Enguix,et al.  New Developments in Formal Languages and Applications , 2008, New Developments in Formal Languages and Applications.

[18]  Hiroshi Umeo,et al.  Linear-time recognition of connectivity of binary images on 1-bit inter-cell communication cellular automaton , 2001, Parallel Comput..

[19]  Thomas Worsch Linear Time Language Recognition on Cellular Automata with Restricted Communication , 2000, LATIN.

[20]  Martin Kutrib,et al.  Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability , 2006, MFCS.

[21]  Martin Kutrib,et al.  Fast Cellular Automata with Restricted Inter-Cell Communication: Computational Capacity , 2006, IFIP TCS.