The complexity of simple programs

TitleOn the boundaries of solvability and unsolvability in tag systems. Theoretical and experimental results.
Publication TypeConference Paper
Year of Publication2008
AuthorsDe Mol, L
EditorWoods, D, Neary, T, Seda, T
Conference NameThe complexity of simple programs
PublisherCork University Press
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.

Citation Key678254
Download PDF (Author PDF)
PDF author (public):