C. Zandron, G. Mauri, C. Ferretti, P. Bonizzoni.
Splicing systems using merge and separate operations.
Abstract
We study in details how to control molecules in a set of splicing tubes, in
such a way that we can genereate any recursively enumerable language by
allowing them to split and join (splice), but also by separating the molecules
of a tube, according to the presence of a pattern in them, and by merging tubes
when needed. We show that this new model of distributed splicing system is
computationally universal.