Regular splicing languages and subclasses

Theoretical Computer Science

Volumn 340, Issue 2, 2005, Pages 349-363

  Bonizzoni, Paola ^a   Mauri, Giancarlo ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

Automata; Molecular computing; Regular languages; Splicing systems

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; COMPUTER SCIENCE; DNA; NATURAL SCIENCES COMPUTING; SYNTACTICS;

FORMAL MODELS; MOLECULAR COMPUTING; REFLEXIVE SPLICING LANGUAGES; SPLICING SYSTEMS;

FORMAL LANGUAGES;

EID: 20344383228     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.03.035     Document Type: Article

References (27)

1. M.P. Béal Codage Symbolique 1993 Masson
2. J. Berstel, and D. Perrin Theory of Codes 1985 Academic Press New York
3. P. Bonizzoni, C. De Felice, G. Mauri, R. Zizza, Decision Problems on Linear and Circular Splicing, in: M. Ito, M. Toyama (Eds.), Proc. DLT 2002, Lecture Notes in Computer Science, Vol. 2450, Springer, Berlin, 2003, pp. 78-92.
4. P. Bonizzoni, C. De Felice, G. Mauri, R. Zizza, Regular Languages Generated by Reflexive Finite Linear Splicing Systems, in: Z. Esik, Z. Fülöp (Eds.), Proc. DLT 2003, Lecture Notes in Computer Science, Vol. 2710, Springer, Berlin, 2003, pp. 134-145.
5. P. Bonizzoni, C. De Felice, G. Mauri, R. Zizza, Linear splicing and syntatic monoid, 2004, submitted for publication.
6. P. Bonizzoni, C. De Felice, R. Zizza, The structure of reflexive regular splicing languages via Schützenberger constants, Theoret. Comput. Sci. 334 (1-3) (2005) 71-98.
7. P. Bonizzoni, C. Ferretti, and G. Mauri Splicing Systems with Marked Rules Romanian J. Inform. Sci. Technol. 1 4 1998 295 306
8. P. Bonizzoni, C. Ferretti, G. Mauri, and R. Zizza Separating some splicing models Inform. Process. Lett. 79 6 2001 255 259
9. K. Culik, and T. Harju Splicing semigroups of dominoes and DNA Discrete Appl. Math. 31 1991 261 277
10. A. De Luca, and A. Restivo A characterization of strictly locally testable languages and its application to semigroups of free semigroup Inform. Control 44 1980 300 319
11. E. Goode, Constants and splicing systems, Ph.D. Thesis, Binghamton University, 1999.
12. E. Goode, D. Pixton, Recognizing Splicing Languages: Syntactic Monoids and Simultaneous Pumping, 2004, submitted for publication. (Available from http://www.math.binghamton.edu/dennis/Papers/index.html.)
13. T. Head Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviours Bull. Math. Biol. 49 1987 737 759
14. T. Head Splicing languages generated with one sided context Gh. Paun Computing with Bio-molecules, Theory and Experiments 1998 Springer Singapore
15. T. Head, Gh. Paun, and D. Pixton Language theory and molecular genetics: generative mechanisms suggested by DNA recombination G. Rozenberg A. Salomaa Handbook of Formal Languages Vol. 2 1996 Springer Berlin 295 360
16. J.E. Hopcroft, R. Motwani, and J.D. Ullman Introduction to Automata Theory, Languages, and Computation 2001 Addison-Wesley Reading, MA
17. S.M. Kim Computational modeling for genetic splicing systems SIAM J. Comput. 26 1997 1284 1309
18. S.M. Kim, and R. McNaughton Computing the order of a locally testable automaton SIAM J. Comput. 23 1994 1193 1215
19. G. Paun On the splicing operation Discrete Appl. Math. 70 1996 57 79
20. G. Paun, G. Rozenberg, and A. Salomaa DNA computing, New Computing Paradigms 1998 Springer Berlin
21. D. Perrin Finite Automata J. Van Leeuwen Handbook of Theoretical Computer Science Vol. B 1990 Elsevier Amsterdam 1 57
22. J.-E. Pin Variétés de langages formels 1984 Masson Paris
23. English translation: Varieties of formal languages, Plenum, New York, 1986.
24. D. Pixton Regularity of splicing languages Discrete Appl. Math. 69 1996 101 124
25. M.P. Schützenberger Sur certaines opérations de fermeture dans le langages rationnels Symposia Math. 15 1975 245 253
26. S. Verlan, R. Zizza. 1-splicing vs. 2-splicing: separating results, Proc. Words03, Turku, Finland, 2003, pp. 320-331.
27. S. Verlan, Head systems and applications to bio-informatics, Ph.D. Thesis, University of Metz, 2004.