加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本