Abstract
We introduce semigroups of dominoes as a tool for working with sets of linked strings. In particular, we are interested in splicing semigroups of dominoes. In the special case of alphabetic (symbol-to-symbol linked) dominoes the splicing semigroups are essentially equivalent to the splicing systems introduced by Head to study informational marcomolecules, specifically to study the effect of sets of restriction enzymes and ligase that allow DNA molecules to be cleaved and reassociated to produce further molecules. Our main result is that in the case of alphabetic dominoes the splicing semigroup generated from an initial regular set is again regular. This implies positive solution of two open problems stated by Head, namely the regularity of splicing systems and the decidability of their membership problem.
This research was supported by the National Sciences Foundation under Grant No. CCR-8702752.
Preview
Unable to display preview. Download preview PDF.
References
K. Culik II and T. Harju, Dominoes over a Free Monoid, Theoret. Computer Sci. 18, 279–300 (1982).
K. Culik II and T. Harju, Splicing Semigroups of Dominoes and DNA, University of South Carolina, Technical Report TR-89001.
K.L. Denninghoff and R.W. Gatterdam, On the Undecidability of Splicing Systems, Dept. of Math. Sciences, University of Alaska, Fairbanks, manuscript.
T. Head, Formal Language Theory and DNA: An Analysis of the Generative Capacity of Specific Recombinant Behaviors, Bull. of Math. Biology 49, 737–759 (1987).
J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley (1979).
B. Lewin, Genes III. New York: Wiley (1987).
J. D. Watson, J. Tooze and D. T. Kurtz, Recombinant DNA: A Short Course. New York: Freeman (1983).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Culik, K., Harju, T. (1989). Dominoes and the regularity of DNA splicing languages. In: Ausiello, G., Dezani-Ciancaglini, M., Della Rocca, S.R. (eds) Automata, Languages and Programming. ICALP 1989. Lecture Notes in Computer Science, vol 372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035763
Download citation
DOI: https://doi.org/10.1007/BFb0035763
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51371-1
Online ISBN: 978-3-540-46201-9
eBook Packages: Springer Book Archive