Summary
The purpose of this paper is to discuss certain recent results concerning theoretical foundations of DNA computing. In particular, we are concerned with Watson-Crick D0L systems, presenting the theory within the general framework of Lindenmayer systems.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Adleman, L.: Molecular computation of solutions to combinatorial problems. Science, 266 (1994), 1021–1024.
Braich, S., Chelyapov, N., Johnson, C., Rothemund, P., Adleman, L.: Solution of a 20-variable 3-SAT problem on a DNA computer. Sciencexpress,14 March 2002; 10.1126/science.1069528.
Amos, M., Pâun, Gh., Rozenberg, G., Salomaa, A.: DNA-based computing: a survey. Theoretical Computer Science, 287, 1 (2002), 3–38.
Csima, J., Csuhaj Varjú, E., Salomaa, A.: Power and size of extended Watson-Crick L systems, TUCS report 424, Turku Centre for Computer Science, Turku, 2001, to appear in Theoretical Computer Science.
Honkala, J.: The DOL problem revisited. EATCS Bulletin, 70 (2000), 142–147.
Honkala, J., Salomaa, A.: Watson-Crick DOL systems with regular triggers. Theoretical Computer Science, 259 (2001), 689–698.
Karhumäki, J.: Two theorems concerning recognizable N-subsets of v’. Theoretical Computer Science, 1 (1976), 317–323.
Kuich, W., Salomaa, A.: Semirings, Automata, Languages. (Springer-Verlag, Berlin, Heidelberg, New York, 1986 ).
Mihalache, V., Salomaa, A.: Lindenmayer and DNA: Watson-Crick DOL systems. EATCS Bulletin, 62 (1997), 160–175.
Mihalache, V., Salomaa, A.: Language-theoretic aspects of DNA complementarity. Theoretical Computer Science, 250 (2001), 163–178.
Pâun, Gh., Rozenberg, G., Salomaa, A.: DNA Computing. New Computing Paradigms (Springer-Verlag, Berlin, Heidelberg, New York, 1998 ).
Rozenberg, G., Salomaa, A.: The Mathematical Theory of L systems (Academic Press, New York, London, 1980 ).
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, Vol. 1–3 ( Springer-Verlag, Berlin, Heidelberg, New York, 1997 ).
Rozenberg, G., Salomaa, A.: DNA computing: new ideas and paradigms. Springer LNCS 1644 (1999), 106–118.
Salomaa, A.: Formal Languages ( Academic Press, New York, 1973 ).
Salomaa, A.: Jewels of Formal Language Theory ( Computer Science Press, Rockville, Md., 1981 ).
Salomaa, A.: Turing, Watson-Crick and Lindenmayer. Aspects of DNA complementarity. In Unconventional Models of Computation ( C. Calude, J. Casti, M. Dinneen, Eds.) ( Springer-Verlag, Singapore, 1998 ), pp 94–107.
Salomaa, A.: Computability paradigms based on DNA complementarity. In V. Keränen, (Ed.) Innovation in Mathematics, Proc. 2nd Intern. Mathematics Symposium (Computational Mechanics Publications, Southampton, Boston, 1997 ), pp 15–28.
Salomaa, A.: Watson-Crick walks and roads on DOL graphs. Acta Cybernetica, 14 (1999), 179–192.
Salomaa, A.: Uni-transitional Watson-Crick DOL systems. Theoretical Computer Science, 281 (2002), 537–553.
A. Salomaa, Iterated morphisms with complementarity on the DNA alphabet. In M. Ito, Gh. Päun, S. Yu (Eds.) Words, Semigroups, Transductions ( World Scientific Publ. Co., 2001 ), pp 405–420.
Salomaa, A.: DNA complementarity and paradigms of computing. LNCS, 2387 (2002), 3–17.
Salomaa, A, Soittola, M.: Automata-Theoretic Aspects of Formal Power Series (Springer-Verlag, Berlin, Heidelberg, New York, 1978 ).
Salomaa, A, Sosik, P.: Watson-Crick DOL systems: the power of one transition. TUCS report 439, Turku Centre for Computer Science, Turku, 2002. To appear in Theoretical Computer Science.
Sosík, P.: DOL Systems + Watson-Crick Complement = Universal Computation. LNCS, 2055 (2001), 308–320.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Salomaa, A. (2004). Developmental Languages Versus DNA Computing. In: Martín-Vide, C., Mitrana, V., Păun, G. (eds) Formal Languages and Applications. Studies in Fuzziness and Soft Computing, vol 148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39886-8_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-39886-8_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-53554-3
Online ISBN: 978-3-540-39886-8
eBook Packages: Springer Book Archive