Cellular Automata with Sparse Communication

  • Authors:

  • Martin Kutrib;Andreas Malcher

  • Affiliations:

  • Institut für Informatik, Universität Giessen, Giessen, Germany 35392;Institut für Informatik, Universität Giessen, Giessen, Germany 35392

  • Venue:
  • CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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].