Abstract
Circular splicing has been introduced to model a specific recombinant behaviour of circular DNA, continuing the investigation initiated with linear splicing. In this paper we focus on the relationship between regular circular languages and languages generated by finite circular splicing systems. We survey the known results towards a characterization of the intersection between these two classes and provide new contributions on the open problem of finding this characterization. First, we exhibit a non-regular circular language generated by a circular simple system thus disproving a known result in this area. Then we give new results related to a restrictive class of circular splicing systems, the marked systems. Precisely, we review in a graph theoretical setting the recently obtained characterization of marked systems generating regular circular languages. In particular, we define a slight variant of marked systems, that is the g-marked systems, and we introduce the graph associated with a g-marked system. We show that a g-marked system generates a regular circular language if and only if its associated graph is a cograph. Furthermore, we prove that the class of g-marked systems generating regular circular languages is closed under a complement operation applied to systems. We also prove that marked systems with self-splicing generate only regular circular languages.
Similar content being viewed by others
References
Adleman LM (1994) Molecular computation of solutions to combinatorial problems. Science 226:1021–1024
Berstel J, Perrin D (1985) Theory of codes. Academic Press, New York
Berstel J, Restivo A (1981) Codes et sousmonoides fermes par conjugaison. Sem. LITP 81–45, 10 pp
Bonizzoni P, De Felice C, Mauri G, Zizza R (2001) DNA and circular splicing. In: Condon A, Rozenberg G (eds) Proceedings of DNA 2000, Lecture Notes in Computer Science, vol 2054, pp 117–129
Bonizzoni P, De Felice C, Mauri G, Zizza R (2003) Decision problems on linear and circular splicing. In: Ito M, Toyama M (eds) Proceedings of DLT 2002, Lecture Notes in Computer Science, 2450, pp 78–92
Bonizzoni P, De Felice C, Mauri G, Zizza R (2004) Circular splicing and regularity. Theor Inform Appl 38:189–228
Bonizzoni P, De Felice C, Mauri G, Zizza R (2005) On the power of circular splicing. Discret Appl Math 150:51–66
Bonizzoni P, De Felice C, Zizza R (2009) Circular languages generated by complete splicing systems and pure unitary languages. In: Barry Cooper S, Danos V (eds) Proceedings of DCM 2009 - 5th international workshop on developments in computational models, Electronic Proceedings in Theoretical Computer Science (to appear)
Brandstädt A, Le VB, Spinrad J (1999) Graph classes: a survey, SIAM monographs on discrete mathematics and applications
Ceterchi R, Subramanian KG (2003) Simple circular splicing systems. Romanian J Inf Sci Technol 6:121–134
Ceterchi R, Martin-Vide C, Subramanian KG (2004) On some classes of splicing languages. In: Jonoska N, Paun G, Rozenberg G (eds) Aspects of molecular computing: essays in honor of the 70th birthday of Tom Head, Lecture Notes in Computer Science, vol 2950, pp 83–104
Choffrut C, Karhumaki J (1996) Combinatorics on words. In: Rozenberg G, Salomaa A (eds) Handbook of formal languages, vol 1. Springer-Verlag, Berlin, pp 329-438
Cormen TH, Leiserson CE, Rivest RL, Stein C (2001) Introduction to Algorithms, 2nd edn. The MIT Press/McGraw-Hill Book Company, Cambridge/New York
De Felice C, Fici G, Zizza R (2007) Marked systems and circular splicing. In: Csuhaj-Varjú E, Esik Z (eds) Proceedings of FCT 2007, Lecture Notes in Computer Science, vol 4639, pp 238–249
De Felice C, Fici G, Zizza R (2009) A characterization of regular circular languages generated by marked splicing systems. Theor Comput Sci 410:4937–4960
Eilenberg S (1974) Automata, languages and machines, vol A. Academic Press, New York
Fagnot I (2004) Simple circular splicing systems. In: Preproc. of Dixième Journées Montoises d’Informatique Théorique, Liege
Goode E, Pixton D (2001) Semi-simple splicing systems. In: Martine-Vide C, Mitrana V (eds) Where mathematics, computer science, linguistics and biology meet 343-357. Kluwer Academic Publishers, Dordrecht
Head T (1987) Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviours. Bull Math Biol 49:737–759
Head T (1992) Splicing schemes and DNA. In: Lindenmayer systems: impacts on theoretical computer science and developmental biology. Springer-Verlag, Berlin, pp 371–383
Head T (1999) Circular suggestions for DNA computing. In: Carbone A, Gromov M, Pruzinkiewicz P (eds) Pattern formation in biology vision and dynamics. World Scientific, Singapore and London
Head T, Paun G, Pixton D (1996) Language theory and molecular genetics: generative mechanisms suggested by DNA recombination. In: Rozenberg G, Salomaa A (eds) Handbook of formal languages, vol 2. Springer Verlag, Berlin, pp 295–360
Head T, Rozenberg G, Bladergroen R, Breek C, Lommerse P, Spaink H (2000) Computing with DNA by operating on plasmids. BioSystems 57:87–93
Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to automata theory, languages, and computation. Addison-Wesley, Reading, Massachusetts
Lothaire M (1983) Combinatorics on words, encyclopedia of mathematics and its applications. Addison Wesley Publishing Company, Reading
Mateescu A, Paun G, Rozenberg G, Salomaa A (1998) Simple splicing systems. Discret Appl Math 84:145–163
Paun G (2000) Computing with membranes. J Comput Syst Sci 61:108–143
Paun G, Rozenberg G, Salomaa A (1998) DNA computing, new computing paradigms. Springer-Verlag, Berlin
Pixton D (1995) Linear and circular splicing systems. In: Proceedings of the 1st international symposium on Intelligence in neural and biological systems. IEEE Computer Society, Los Alamitos, pp 181–188
Pixton D (1996) Regularity of splicing languages. Discret Appl Math 69:101–124
Pixton D (2000) Splicing in abstract families of languages. Theor Comput Sci 234:135–166
Reis C, Thierren G (1979) Reflective star languages and codes. Inf Control 42:1–9
Siromoney R (2000) Distributed circular systems, presented at: Grammar Systems 2000, Austria
Siromoney R, Subramanian KG, Dare A (1992) Circular DNA and splicing systems. In: Procedings of ICPIA, Lecture Notes in Computer Science, vol 654, pp 260-273
Yokomori T, Kobayaski S, Ferretti C (1999) On the power of circular splicing systems and DNA computability. In: Proceedings of IEEE ICEC99
Acknowledgements
The authors wish to thank the anonymous referees for useful suggestions. This work has been partially supported by the MIUR Project “Mathematical aspects and emerging applications of automata and formal languages” (2007), by the ESF Project “Automata: from Mathematics to Applications (AutoMathA)” (2005–2010), by the 60% Project “Proprietà strutturali e nuovi modelli di rappresentazione nella teoria dei linguaggi formali” (University of Salerno, 2007) and by the 60 % Project “Estensioni della teoria dei linguaggi formali e loro proprietà strutturali” (University of Salerno, 2008).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bonizzoni, P., De Felice, C., Fici, G. et al. On the regularity of circular splicing languages: a survey and new developments. Nat Comput 9, 397–420 (2010). https://doi.org/10.1007/s11047-009-9155-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-009-9155-7