On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results. - Université de Lille 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

Ordinateur et société [cs.CY] 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 : mercredi 24 janvier 2024-09:54:19

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS STL HIPHISCITECH OMNIPHILO TDS-MACS CAMPUS-AAR AAI UNIV-LILLE
57 Consultations
162 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More