Decidable Properties of 2D Cellular Automata

  • Authors:
  • Alberto Dennunzio;Enrico Formenti

  • Affiliations:
  • Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano---Bicocca, Milano, Italy 20126;Laboratoire I3S, Université de Nice-Sophia Antipolis, Sophia Antipolis, France 06903

  • Venue:
  • DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we study some decidable properties of two-dimensional cellular automata (2D CA). The notion of closingness is generalized to the 2D case and it is linked to permutivity and openness. The major contributions of this work are two deep constructions which have been fundamental in order to prove our new results and we strongly believe it will be a valuable tool for proving other new ones in the near future.