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

Towards a Rice Theorem on Traces of Cellular Automata

Julien Cervelle
Laboratoire d'Informatique Gaspard-Monge
CV
Pierre Guillon
Laboratoire d'Informatique Gaspard-Monge

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.

Domaines

Algorithme et structure de données [cs.DS]
Fichier principal
Vignette du fichier
hal.pdf (129.38 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Pierre Guillon  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00620284

Soumis le : lundi 3 octobre 2011-14:01:59

Dernière modification le : jeudi 16 mai 2024-15:00:04

Archivage à long terme le : mardi 13 novembre 2012-15:00:40

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENPC CNRS UNIV-MLV LIGM_ALGO PARISTECH LIGM UNIV-EIFFEL
93 Consultations
209 Téléchargements

Partager

More