Abstract
We present a new proof that languages generated by (non extended) H systems with finite sets of axioms and rules are regular.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Culik II, K., Harju, T.: The regularity of splicing systems and DNA. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol. 372, pp. 222–233. Springer, Heidelberg (1989)
Culik II, K., Harju, T.: Splicing semigroups of dominoes and DNA. Discrete Applied Mathematics 31, 261–277 (1991)
Garret, R.H., Grisham, C.M.: Biochemistry. Saunders College Publishing, Harcourt (1997)
Head, T.: Formal language theory and DNA: an analysis of the generative capacity of recombinant behaviors. Bulletin of Mathematical Biology 49, 737–759 (1987)
Head, T., Păun, G., Pixton, D.: Language theory and molecular genetics. In: [11], ch. 7, pp. 295–360 (1997)
Manca, V.: Splicing normalization and regularity. In: Calude, C., Păun, G. (eds.) Finite versus Infinite. Contributions to an Eternal Dilemma. Springer, Heidelberg (2000)
Manca, V.: On some forms of splicing. In: Martin-Vide, C., Mitrana, V. (eds.) Words, Sequences, Grammars, Languages: Where Biology, Computer Science, Linguistics and Mathematics Meet. Kluwer, Dordrecht (2000)
Păun, G., Rozenberg, G., Salomaa, A.: DNA Computing. New Computing Paradigms. Springer, Berlin (1998)
Pixton, D.: Regularity of splicing languages. Discrete Applied Mathematics 69(1-2), 101–124 (1996)
Pixton, D.: Splicing in abstract families of languages. Theoretical Computer Science 234, 135–166 (2000)
Rozenberg, G., Salomaa, A.: Handbook of Formal Languages, 3 vols. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Manca, V. (2003). A Proof of Regularity for Finite Splicing. In: Jonoska, N., Păun, G., Rozenberg, G. (eds) Aspects of Molecular Computing. Lecture Notes in Computer Science, vol 2950. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24635-0_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-24635-0_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20781-8
Online ISBN: 978-3-540-24635-0
eBook Packages: Springer Book Archive