String tile models for DNA computing by self-assembly

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2054, Issue , 2001, Pages 63-88

  Winfree, Erik ^a   Eng, Tony ^b   Rozenberg, Grzegorz ^c,d  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c LEIDEN UNIVERSITY   (Netherlands)

^d UCB 450   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; SELF ASSEMBLY; TURING MACHINES;

DNA MOLECULES; DNA TILE; DNA-COMPUTING; LINEAR ASSEMBLY; TILE MODELS;

DNA;

EID: 84958962847     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44992-2_6     Document Type: Conference Paper

References (29)

1. Leonard M. Adleman. Molecular computation of solutions to combinato-rial problems. Science, 266:1021-1024, November 11, 1994.
2. Leonard M. Adleman. Toward a mathematical theory of self-assembly. USC Technical Report, 2000.
3. Joost Engelfriet and Hendrik Jan Hoogeboom. MSO deffnable string transductions and two-way ffnite state transducers. LIACS Technical Re-port 98-13, 1998.
4. Joost Engelfriet and Hendrik Jan Hoogeboom. Two-way ffnite state trans-ducers and monadic second-order logic. In Lecture Notes in Computer Science, volume 1644, pages 311-320. Springer Verlag, 1999.
5. Tony Eng. Linear DNA self-assembly with hairpins generates the equiva-lent of linear context-free grammars. In Rubin and Wood
6. J. Engelfriet, G. Rozenberg, and G Slutzki. Tree transducers, L systems, and two-way machines. J. Comp. and Syst. Sc., 20:150-202, 1980.
7. Tsu-Ju Fu and Nadrian C. Seeman. DNA double-crossover molecules. Biochemistry, 32:3211-3220, 1993.
8. H. C. Hennie. One-tape, off-line Turing machine computations. Informa-tion and Control, 8:553-578, 1965.
9. Nataffsa Jonoska, Stephen A. Karl, and Masahico Saito. Three dimensional DNA structures in computing. In Lila Kari, Harvey Rubin, and David H. Wood, editors, Proceedings of the 4th DIMACS Meeting on DNA Based Computers, held at the University of Pennsylvania, June 16-19, 1998, pages 189-200, preliminary, 1998.
10. Nataffsa Jonoska, Stephen A. Karl, and Masahico Saito. Creating 3-dimensional graph structures with DNA. In Rubin and Wood [RW99], pages 123-135.
11. Donald E. Knuth. The Art of Computer Programming, Volume 3: Sorting and Searching (2nd ed). Addison-Wesley, 1973.
12. Michail G. Lagoudakis and Thomas H. LaBean. 2D DNA self-assembly for satisffability. In Winfree and Gifford [WG00].
13. Furong Liu, Ruojie Sha, and Nadrian C. Seeman. Modifying the sur-face features of two-dimensional DNA crystals. Journal of the American Chemical Society, 121(5):917-922, 1999.
14. Thomas H. LaBean, Erik Winfree, and John H. Reif. Experimental progress in computation by self-assembly of DNA tilings. In Winfree and Gifford [WG00].
15. Thomas H. LaBean, Hao Yan, Jens Kopatsch, Furong Liu, Erik Winfree, John H. Reif, and Nadrian C. Seeman. Construction, analysis, ligation, and self-assembly of DNA triple crossover complexes. Journal of the Amer-ican Chemical Society, 122:1848-1860, 2000.
16. Chengde Mao, Weiqiong Sun, and Nadrian C. Seeman. Designed two-dimensional DNA Holliday junction arrays visualized by atomic force mi-croscopy. Journal of the American Chemical Society, 121(23):5437-5443, 1999.
17. John Reif. Local parallel biomolecular computing. In Rubin and Wood [RW99], pages 217-254.
18. Grzegorz Rozenberg. Extension of tabled 0L-systems and languages. In-tern. J. Comp. Inform. Sci., 2:311-336, 1973.
19. Grzegorz Rozenberg and Arto Salomaa. Handbook of formal languages, volume 2. Springer-Verlag, New York, 1997.
20. G. Rozenberg and D. Vermeir. On ETOL systems of ffnite index. Infor-mation and Control, 38:103-133, 1978.
21. G. Rozenberg and D. Vermeir. On metalinear ETOL systems. Fundamenta Informaticae, pages 15-36, 1980.
22. Harvey Rubin and David Harlan Wood, editors. DNA Based Computers III: DIMACS Workshop, June 23-25, 1997, volume 48 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, Providence, RI, 1999. American Mathematical Society.
23. Nadrian C. Seeman. Nucleic-acid junctions and lattices. Journal of The-oretical Biology, 99(2):237-247, 1982.
24. Nadrian C. Seeman. DNA nanotechnology: novel DNA constructions. An-nual Review of Biophysics and Biomolecular Structure, 27:225-248, 1998.
25. N. C. Seeman, H. Wang, X. P. Yang, F. R. Liu, C. D. Mao, W. Q. Sun, L. Wenzler, Z. Y. Shen, R. J. Sha, H. Yan, M. H. Wong, P. Sa-Ardyen, B. Liu, H. X. Qiu, X. J. Li, J. Qi, S. M. Du, Y. W. Zhang, J. E. Mueller, T. J. Fu, Y. L. Wang, and J. H. Chen. New motifs in DNA nanotechnology. Nanotechnology, 9(3):257-273, 1998.
26. Erik Winfree and David K. Gifford, editors. DNA Based Computers V: DIMACS Workshop, June 14-15, 1999, volume 54 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, Providence, RI, 2000. American Mathematical Society.
27. Erik Winfree. On the computational power of DNA annealing and ligation. In Richard J. Lipton and Eric B. Baum, editors, DNA Based Computers: DIMACS Workshop, April 4, 1995, volume 27, pages 199-221, Providence, RI, 1996. American Mathematical Society.
28. Erik Winfree, Furong Liu, Lisa A. Wenzler, and Nadrian C. Seeman. De-sign and self-assembly of two-dimensional DNA crystals. Nature, 394:539-544, 1998.
29. Erik Winfree, Xiaoping Yang, and Nadrian C. Seeman. Universal com-putation via self-assembly of DNA: Some theory and experiments. In Laura F. Landweber and Eric B. Baum, editors, DNA Based Computers II: DIMACS Workshop, June 10-12, 1996, volume 44, Providence, RI, 1998. American Mathematical Society.