Infinitely growing configurations in Emil Post's tag system problem
Discrete Mathematics
2025-02-27 v2 Computational Complexity
Abstract
Emil Post's tag system problem posed the question of whether or not a tag system has a configuration, simulation of which will never halt or end up in a loop. Over the subsequent decades, there were several attempts to find an answer to this question, including a recent study, during which the first initial configurations were checked. This paper presents a family of configurations of this type in the form of strings that evolve to after a finite number of steps. The proof of this behavior for all non-negative and is described later in this paper as a finite verification procedure, which is computationally bounded by 20 000 iterations of tag.
Keywords
Cite
@article{arxiv.2105.07529,
title = {Infinitely growing configurations in Emil Post's tag system problem},
author = {Nikita V. Kurilenko},
journal= {arXiv preprint arXiv:2105.07529},
year = {2025}
}
Comments
8 pages, 0 figures