The characterizations of different splicing systems

Abstract

The concept of splicing system was first introduced by Head in 1987 to model the biological process of DNA recombination mathematically. This model was made on the basis of formal language theory which is a branch of applied discrete mathematics and theoretical computer science. In fact, splicing system treats DNA molecule and the recombinant behavior by restriction enzymes and ligases in the form of words and splicing rules respectively. The notion of splicing systems was taken into account from different points of view by many mathematicians. Several modified definitions have been introduced by many researchers. In this paper, some properties of different kinds of splicing systems are presented and their relationships are investigated. Furthermore, these results are illustrated by some examples.