Abstract
Notions of Wang tiles, finite state machines and recursive functions are tied together. We show that there is a natural way to simulate finite state machines with output (transducers) with Wang tiles and we show that recursive (computable) functions can be obtained as composition of transducers through employing Wang tiles. We also show how a programmable transducer can be self-assembled using TX DNA molecules simulating Wang tiles and a linear array of DNA PX-JX2 nanodevices.
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
Adleman, L.: Molecular computation of solutions of combinatorial problems. Science 266, 1021â1024 (1994)
Benenson, Y., Paz-Elizur, T., Adar, R., Keinan, E., Shapiro, E.: Programmable and autonomous computing machine made of biomolecules. Nature 414, 430â434 (2001)
Braich, R.S., Chelyapov, N., Johnson, C., Rothemund, P.W.K., Adleman, L.: Solution of a 20-variable 3-SAT problem on a DNA Computer. Science 296, 499â502 (2002)
Chen, J.H., Seeman, N.C.: Synthesis from DNA of a molecule with the connectivity of a cube. Nature 350, 631â633 (1991)
Cutland, N.J.: Computability, an introduction to recursive function theory. Cambridge University Press, Cambridge (1980)
Faulhammer, D., Curkas, A.R., Lipton, R.J., Landweber, L.F.: Molecular computation: RNA solution to chess problems. PNASÂ 97, 1385â1389 (2000)
Fu, T.J., Seeman, N.C.: DNA double crossover structures. Biochemistry 32, 3211â3220 (1993)
Head, T., et al.: Computing with DNA by operating on plasmids. BioSystems 57, 87â93 (2000)
Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages and computation. Addison-Wesley, Reading (1979)
Jonoska, N., Sa-Ardyen, P., Seeman, N.C.: Computation by self-assembly of DNA graphs. Genetic Programming and Evolvable Machines 4, 123â137 (2003)
Jonoska, N., Karl, S., Saito, M.: Three dimensional DNA structures in computing. BioSystems 52, 143â153 (1999)
Kallenbach, N.R., Ma, R.-I., Seeman, N.C.: An immobile nucleic acid junction constructed from oligonucleotides. Nature 305, 829â831 (1983)
LaBean, T.H., Yan, H., Kopatsch, J., Liu, F., Winfree, E., Reif, J.H., Seeman, N.C.: The construction, analysis, ligation and self-assembly of DNA triple crossover complexes. J. Am. Chem. Soc. 122, 1848â1860 (2000)
Manca, V., Martin-Vide, C., PÄun, G.: New computing paradigms suggested by DNA computing: computing by carving. BioSystems 52, 47â54 (1999)
Manca, V., Martin-Vide, C., PÄun, G.: Iterated gsm mappings: a collapsing hierarchy. In: Karhumaki, J., Maurer, H., PÄun, G., Rozenberg, G. (eds.) Jewels are forever, pp. 182â193. Springer, Heidelberg (1999)
Mao, C., LaBean, T.H., Reif, J.H., Seeman, N.C.: Logical computation using algorithmic self-assembly of DNA triple-crossover molecules. Nature 407, 493â496 (2000)
Mao, C., Sun, W., Shen, Z., Seeman, N.C.: A nanomechanical device based on the B-Z transition of DNA. Nature 397, 144â146 (2000)
Rothemund, P., Papadakis, N., Winfree, E.: Algorithmic self-assembly of DNA sierpinski triangles (abstract). In: Preproceedings of the 9th International Meeting of DNA Based Computers, June 1-4 (2003)
Sa-Ardyen, P., Jonoska, N., Seeman, N.: Self-assembling DNA graphs. Journal of Natural Computing (to appear)
Seeman, N.C.: DNA junctions and lattices. J. Theor. Biol. 99, 237â247 (1982)
Seeman, N.C.: DNA nicks and nodes and nanotechnology. NanoLetters 1, 22â26 (2001)
Siwak, P.: Soliton like dynamics of filtrons on cyclic automata. Inverse Problems 17, 897â918 (2001)
Wang, Y., Mueller, J.E., Kemper, B., Seeman, N.C.: The assembly and characterization of 5-arm and 6-arm DNA junctions. Biochemistry 30, 5667â5674 (1991)
Winfree, E., Yang, X., Seeman, N.C.: Universal computation via self-assembly of DNA: some theory and experiments. In: Landweber, L., Baum, E. (eds.) DNA computers II. AMS DIMACS series, vol. 44, pp. 191â214 (1998)
Winfree, E., Liu, F., Wenzler, L.A., Seeman, N.C.: Design and self-assembly of twodimensional DNA crystals. Nature 394, 539â544 (1998)
Yan, H., Zhang, X., Shen, Z., Seeman, N.C.: A robust DNA mechanical device controlled by hybridization topology. Nature 415, 62â65 (2002)
Yan, H., Seeman, N.C.: Edge-sharing motifs in DNA nanotechnology. Journal of Supramolecular Chemistry 1, 229â237 (2003)
Yurke, B., Turberfield, A.J., Mills, A.P., Simmel Jr., F.C.: A DNA fueled molecular machine made of DNA. Nature 406, 605â608 (2000)
Zhang, Y., Seeman, N.C.: The construction of a DNA truncated octahedron. J. Am. Chem. Soc. 160, 1661â1669 (1994)
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
Jonoska, N., Liao, S., Seeman, N.C. (2003). Transducers with Programmable Input by DNA Self-assembly. 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_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-24635-0_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20781-8
Online ISBN: 978-3-540-24635-0
eBook Packages: Springer Book Archive