Basic properties for sand automata

  • Authors:
  • J. Cervelle;E. Formenti;B. Masson

  • Affiliations:
  • Institut Gaspard Monge, Université de Marne-la-Vallée, Marne-la-Vallée cedex 2, France;Laboratoire I3S, Bât. ESSI, Université de Nice-Sophia Antipolis, Sophia Antipolis, France;Laboratoire I3S, Bât. ESSI, Université de Nice-Sophia Antipolis, Sophia Antipolis, France

  • Venue:
  • MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove several results about the relations between injectivity and surjectivity for sand automata. Moreover, we begin the exploration of the dynamical behavior of sand automata proving that the property of ultimate periodicity is undecidable. We believe that the proof technique used for this last result might turn out to be useful for many other results in the same context.