On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results. - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Electronic Proceedings in Theoretical Computer Science Année : 2009

On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results.

Liesbeth de Mol
Savoirs, Textes, Langage (STL) - UMR 8163

Résumé

Several older and more recent results on the boundaries of solvability and unsolvability in tag systems are surveyed. Emphasis will be put on the significance of computer experiments in research on very small tag systems.

Domaines

Informatique [cs] Ordinateur et société [cs.CY] Sciences de l'Homme et Société Histoire, Philosophie et Sociologie des sciences
Fichier principal
Vignette du fichier
CSP08_Rev.pdf (184.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Liesbeth De Mol  : Connectez-vous pour contacter le contributeur

https://hal.univ-lille.fr/hal-01396508

Soumis le : jeudi 17 novembre 2016-08:24:49

Dernière modification le : vendredi 24 mars 2023-14:53:03

Archivage à long terme le : jeudi 16 mars 2017-17:29:02

Télécharger pour visualiser

Dates et versions

hal-01396508 , version 1 (17-11-2016)

Identifiants

Citer

Liesbeth de Mol. On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results.. Electronic Proceedings in Theoretical Computer Science, 2009, 1, pp.56 - 66. ⟨10.4204/EPTCS.1.5⟩. ⟨hal-01396508⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS STL HIPHISCITECH OMNIPHILO TDS-MACS UNIV-LILLE
52 Consultations
149 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More