Showing 1–2 of 2 results for author: Kurilenko, N

Infinitely growing configurations in Emil Post's tag system problem

Authors: Nikita V. Kurilenko

Abstract: Emil Post's tag system problem posed the question of whether or not a tag system $\{N=3, P(0) = 00, P(1) = 1101\}$ 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 $2^{84}$ initial configurations were checked. This paper presents… ▽ More Emil Post's tag system problem posed the question of whether or not a tag system $\{N=3, P(0) = 00, P(1) = 1101\}$ 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 $2^{84}$ initial configurations were checked. This paper presents a family of configurations of this type in the form of strings $A^{n} B C^{m}$ that evolve to $A^{n+1} B C^{m+1}$ after a finite number of steps. The proof of this behavior for all non-negative $n$ and $m$ is described later in this paper as a finite verification procedure, which is computationally bounded by 20 000 iterations of tag. △ Less

Submitted 26 February, 2025; v1 submitted 16 May, 2021; originally announced May 2021.

Comments: 8 pages, 0 figures

Journal ref: Complex Systems, 31(3), 2022 pp. 279-286

Jolie Community on the Rise

Authors: Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin

Abstract: Jolie is a programming language that follows the microservices paradigm. As an open source project, it has built a community of developers worldwide - both in the industry as well as in academia - taken care of the development, continuously improved its usability, and therefore broadened the adoption. In this paper, we present some of the most recent results and work in progress that has been made… ▽ More Jolie is a programming language that follows the microservices paradigm. As an open source project, it has built a community of developers worldwide - both in the industry as well as in academia - taken care of the development, continuously improved its usability, and therefore broadened the adoption. In this paper, we present some of the most recent results and work in progress that has been made within our research team. △ Less

Submitted 30 September, 2016; originally announced September 2016.