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

Abstract : 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.
Type de document :
Article dans une revue
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2009, 1, pp.56 - 66. 〈10.4204/EPTCS.1.5〉
Liste complète des métadonnées

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

http://hal.univ-lille3.fr/hal-01396508
Contributeur : Liesbeth De Mol <>
Soumis le : jeudi 17 novembre 2016 - 08:24:49
Dernière modification le : jeudi 11 janvier 2018 - 06:20:28
Document(s) archivé(s) le : jeudi 16 mars 2017 - 17:29:02

Fichier

CSP08_Rev.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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

Partager

Métriques

Consultations de la notice

184

Téléchargements de fichiers

56