Splicing Systems over Permutation Groups of Length Two
Keywords:Splicing System, Generative power, Regular Languages, Recursively Enumerable Languages, Permutation groups,
AbstractThe first theoretical model of DNA computing, called a splicing system, for the study of the generative power of deoxyribonucleic acid (DNA) in the presence of restriction enzymes and ligases was introduced by Head in 1987. Splicing systems model the recombinant behavior of double-stranded DNA (dsDNA) and the enzymes which perform operation of cutting and pasting on dsDNA. Splicing systems with finite sets of axioms and rules generate only regular languages when no additional control is assumed. With several restrictions to splicing rules, the generative power increase up to recursively enumerable languages. Algebraic structures can also be used in order to control the splicing systems. In the literature, splicing systems with additive and multiplicative valences have been investigated, and it has been shown that the family of languages generated by valence splicing systems is strictly included in the family of context-sensitive languages. This motivates the study of splicing systems over permutation groups. In this paper, we define splicing systems over permutation groups and investigate the generative power of the languages produced.
T. Head, Formal Language Theory and DNA: An Analysis of the Generative Capacity of Specific Recombinant Behaviors, Bulletin of Mathematical Biology, 49(1987), 737–759.
D. Pixton, Regularity of Splicing Languages, Discrete Applied Mathematics, 69(1996), 101–124.
R.W. Gatterdam, Splicing Systems and Regularity, International Journal of Computer Math., 31(1989), 63–67.
V. Manca, and G. Paun, Arithmetically Controlled H Systems, Computer Science Journal of Moldova, 6(1998), 103–118.
G. Paun, G. Rozernberg, and A. Salomaa, DNA Computing: New Computing Paradigms, Springer-Verlag, Heidelberg, 1998.  R. Freund, L. Kari, and G. Paun, The Existence of Universal Computers, Theory of Computing Systems, 32(1999), 69 –112.  J. Fraleigh, A First Course in Abstract Algebra, Addison-Wesley Publishing Company Inc., Philippines, 1997.
N. Vugt, Models of Molecular Computing, PhD Thesis, Leiden University, 2002.  T. A. Sudkamp, Languages and Machines: An Introduction to the Theory of Computer Science, Addison-Wesley Longman Inc., California, 1997.
H. Fernau, and R. Stiebe, Regulation by Valences, in Rovan, B. (Ed.), Mathematical Foundations of Computer Science 1997 22nd International 47 Symposium (MFCS ’97) Proceedings, Springer-Verlag, Slovakia, 129 (1997), 239–248.