Towards a Rice Theorem on Traces of Cellular Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Towards a Rice Theorem on Traces of Cellular Automata

Julien Cervelle
Pierre Guillon

Résumé

The trace subshift of a cellular automaton is the subshift of all possible columns that may appear in a space-time diagram. We prove the undecidability of a rather large class of problems over trace subshifts of cellular automata.
Fichier principal
Vignette du fichier
hal.pdf (129.38 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00620284 , version 1 (03-10-2011)

Identifiants

  • HAL Id : hal-00620284 , version 1

Citer

Julien Cervelle, Pierre Guillon. Towards a Rice Theorem on Traces of Cellular Automata. 32th International Symposium on Mathematical Foundations of Computer Science (MFCS'07), Aug 2007, Český Krumlov, Czech Republic, Czech Republic. pp.310-319. ⟨hal-00620284⟩
80 Consultations
196 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More