Splicing music composition

C De Felice, R De Prisco, D Malandrino… - Information …, 2017 - Elsevier
Splicing systems were introduced by Tom Head (1987) as a formal model of a
recombination process between DNA molecules. The existing literature on splicing systems …

Chorale music splicing system: an algorithmic music composer inspired by molecular splicing

C De Felice, R De Prisco, D Malandrino… - … on Evolutionary and …, 2015 - Springer
Splicing systems are a formal model of a generative mechanism of words (strings of
characters), inspired by a recombinant behavior of DNA. They are defined by a finite …

On the overlap assembly of strings and languages

SK Enaganti, OH Ibarra, L Kari, S Kopecki - Natural Computing, 2017 - Springer
This paper investigates properties of the binary string and language operation overlap
assembly which was defined by Csuhaj-Varjú, Petre and Vaszil as a formal model of the …

Existence of constants in regular splicing languages

P Bonizzoni, N Jonoska - Information and computation, 2015 - Elsevier
In spite of wide investigations of finite splicing systems in formal language theory, basic
questions, such as their characterization, remain unsolved. It has been conjectured that a …

A formal language model of DNA polymerase enzymatic activity

SK Enaganti, L Kari, S Kopecki - Fundamenta Informaticae, 2015 - content.iospress.com
We propose and investigate a formal language operation inspired by the naturally occurring
phenomenon of DNA primer extension by a DNA-template-directed DNA Polymerase …

[HTML][HTML] Deciding whether a regular language is generated by a splicing system

L Kari, S Kopecki - Journal of Computer and System Sciences, 2017 - Elsevier
Abstract (Linear) splicing as a binary word/language operation is inspired by the DNA
recombination under the action of restriction enzymes and ligases, and was first introduced …

Site-directed deletion

DJ Cho, YS Han, H Kim, K Salomaa - Developments in Language Theory …, 2018 - Springer
We introduce a new bio-inspired operation called a site-directed deletion motivated from site-
directed mutagenesis performed by enzymatic activity of DNA polymerase: Given two strings …

Computational models based on splicing

Y Rogozhin, S Verlan - Automata, Universality, Computation: Tribute to …, 2015 - Springer
ECC 12 - Computational Models Based on Splicing Page 1 Chapter 11 Computational Models
Based on Splicing Yurii Rogozhin and Sergey Verlan Abstract. In this paper we overview …

Splicing Systems from Past to Future: Old and New Challenges

L Boasson, P Bonizzoni, C De Felice, I Fagnot… - arxiv preprint arxiv …, 2015 - arxiv.org
A splicing system is a formal model of a recombinant behaviour of sets of double stranded
DNA molecules when acted on by restriction enzymes and ligase. In this survey we will …

Deciding whether a regular language is generated by a splicing system

L Kari, S Kopecki - arxiv preprint arxiv:1112.4897, 2011 - arxiv.org
Splicing as a binary word/language operation is inspired by the DNA recombination under
the action of restriction enzymes and ligases, and was first introduced by Tom Head in 1987 …