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.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.univ-lille3.fr/hal-01396508
Contributor : Liesbeth de Mol <>
Submitted on : Thursday, November 17, 2016 - 8:24:49 AM
Last modification on : Tuesday, July 3, 2018 - 11:30:04 AM
Long-term archiving on : Thursday, March 16, 2017 - 5:29:02 PM

File

CSP08_Rev.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

262

Files downloads

273