Basic properties for sand automata

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 nilpotency is undecidable. We believe that the proof technique used for this last result might reveal useful for many other results in this context.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2007, 381, pp.1--28
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00003208
Contributeur : Benoît Masson <>
Soumis le : jeudi 4 novembre 2004 - 12:45:29
Dernière modification le : vendredi 12 février 2010 - 17:34:25
Document(s) archivé(s) le : jeudi 1 avril 2010 - 15:36:04

Fichiers

Identifiants

Collections

Citation

Julien Cervelle, Enrico Formenti, Benoît Masson. Basic properties for sand automata. Theoretical Computer Science, Elsevier, 2007, 381, pp.1--28. 〈hal-00003208〉

Partager

Métriques

Consultations de
la notice

180

Téléchargements du document

95