Mathematical Modelling of Some Null-Context and Uniform Splicing Systems


  • S. J. Lim
  • W. H. Fong
  • N. H. Sarmin
  • F. Karimi



DNA, Null-Conteext, Uniform, Spllicing System, Auutomata Theory,


The mathematical modelling of splicing system which involves recombination of DNA molecules was first introduced by Head in 1987. Splicing of DNA involves cutting of DNA molecules using the restriction enzymes and re-associating different fragments of DNA molecules using the ligase under some specific chemical conditions. A splicing language, L is generated if there exists a splicing system S for which L = L(S). There are different types of splicing systems which have been discussed by various researchers. Among them are the persistent splicing system, null-context and uniform splicing system. In this paper, some molecular examples on null-context splicing system and uniform splicing systems with different initial strings and combination of restriction enzymes will be discussed. Applications of automata theory on some molecular examples of null-context and uniform splicing languages will also be presented in this paper.


Linz, P. (2006). An Introduction to Formal Languages and Automata (4th ed.) USA: Jones and Bartlett Publisher, Inc.

Head, T. Formal Language Theory and DNA, Bulletin of Mathematical Biology. 49 (1987) 737-759.

Shallit, J. (2009). A Second Course in Formal Languages and Automata Theory. New York: Cambridge University Press.

Hopcroft, J. E., Motwani. R., Ullman, J. D. (2007). Introduction To Automata Theory, Language and Computation (3rded.). Boston, MA. Pearson


Fong, W. H., Sarmin. N. H., Yusof. Y. and Karimi. F, Journal of Fundamental Sciences, 6 (2010) 142-146.

Fong, W. H. Modelling of Splicing Systems Using Formal Language Theory. Ph.D. Thesis. Universiti Teknologi Malaysia; 2008.

Karimi, F., Sarmin, N.H., Fong, W.H., Australian Journal of Basic and Applied Sciences, 5 (2011) 20-24.

Head, T., Discrete Applied Mathematics, 87 (1998) 139-147.

Karimi, F., Sarmin, N.H., Fong, W.H., The Characterizations of Different Splicing Systems, The International conference on Mathematical and Computational Biology 2011(ICMCB 2011), Renaissance Melaka Hotel, Melaka, Malaysia, 12-14 April 2011