Some characterizations of permanent splicing systems

The concept of mathematical modeling of splicing system was introduced by Head in 1987. Since then, splicing system has been modeled under the framework of Formal Language Theory and theoretical computer science. This theoretical splicing system models the biological process of the cutting and pasting of double-stranded DNA molecules by restriction enzymes and ligase respectively. With every splicing system, there corresponds a splicing language. The type of resulting splicing language depends on the corresponding splicing system.