Abstract
AbstractString assembling systems are biologically inspired mechanisms that generate strings from copies out of finite sets of assembly units. The underlying mechanism is based on piecewise assembly of a double-stranded sequence of symbols, where the upper and lower strand have to match. The generation is additionally controlled by the requirement that the first symbol of a unit has to be the same as the last symbol of the strand generated so far, as well as by the distinction of assembly units that may appear at the beginning, during, or at the end of the assembling process and by a length restriction on the units. We investigate the power of these model-inherent control mechanisms by considering variants where one or more of these mechanisms are relaxed. The generative capacities and the relative power of the variants are our main interest. In particular, we prove that the power gained in the different control mechanisms may yield strictly more powerful systems and incomparable capacities. Additionally, we generalize these systems to multi-stranded systems. We obtain a strong connection to one-way multi-head finite automata and show an infinite, dense, and strict strand hierarchy. Finally, we examine the closure properties of the different variants of string assembling systems.
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications
Reference21 articles.
1. Bordihn H, Kutrib M, Malcher A (2012) On the computational capacity of parallel communicating finite automata. Int J Found Comput Sci 23:713–732. https://doi.org/10.1142/S0129054112500062
2. Enaganti SK, Ibarra OH, Kari L, Kopecki S (2017) On the overlap assembly of strings and languages. Nat Comput 16:175–185. https://doi.org/10.1007/s11047-015-9538-x
3. Freund R, Păun G, Rozenberg G, Salomaa A (1998) Bidirectional sticker systems. In: Pacific symposium on biocomputing (PSB 1998), World Scientific, Singapore, pp 535–546.
4. Hartmanis J (1972) On non-determinancy in simple computing devices. Acta Inform 1:336–344
5. Holzer M, Jakobi S, Kutrib M (2017) The chop of languages. Theor Comput Sci 682:122–137. https://doi.org/10.1016/j.tcs.2017.02.002