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.
https://hal.univ-lille.fr/hal-01396508
Contributeur : Liesbeth de Mol <>
Soumis le : jeudi 17 novembre 2016 - 08:24:49 Dernière modification le : mardi 3 novembre 2020 - 09:54:03 Archivage à long terme le : : jeudi 16 mars 2017 - 17:29:02
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⟩