The computational power of Benenson automata

Theoretical Computer Science

Volumn 344, Issue 2-3, 2005, Pages 279-297

  Soloveichik, David ^a   Winfree, Erik ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Branching programs; Circuit complexity; Computational complexity; DNA computing; Molecular computing; Restriction enzymes

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; DNA; ERROR ANALYSIS; MOLECULAR DYNAMICS;

BRANCHING PROGRAMS; CIRCUIT COMPLEXITY; DNA COMPUTING; MOLECULAR COMPUTING; RESTRICTION ENZYMES;

COMPUTER SCIENCE;

EID: 27644535409     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.07.027     Document Type: Article

References (12)

1. R. Adar, Y. Benenson, G. Linshiz, A. Rosner, N. Tishby, and E. Shapiro Stochastic computing with biomolecular automata Proc. Nat. Acad. Sci. 101 2004 9960 9965
2. D.A. Barrington Bounded-width polynomial-sized branching programs recognize exactly those languages in NC 1 J. Comput. Systems Sci. 38 1988 150 164
3. Y. Benenson, R. Adar, T. Paz-Elizur, Z. Livneh, and E. Shapiro DNA molecule provides a computing machine with both data and fuel Proc. Nat. Acad. Sci. 100 2003 2191 2196
4. Y. Benenson, B. Gil, U. Ben-dor, R. Adar, and E. Shapiro An autonomous molecular computer for logical control of gene expression Nature 429 2004 423 429
5. Y. Benenson, T. Paz-Elizur, R. Adar, E. Keinan, Z. Livneh, and E. Shapiro Programmable and autonomous computing machine made of biomolecules Nature 414 2001 430 434
6. T. Inui, H. Ikeda, and Y. Nakamura The design of an artificial restriction enzyme having simultaneous DNA cleavage activity Nucelic Acids Symp. Ser. 44 2000 141 142
7. M. Komiyama DNA manipulation using artificial restriction enzymes Tanpakushitsu Kakusan Koso. 50 2005 81 86 (in Japanese)
8. C.H. Papadimitriou Elements of the Theory of Computation 1997 Prentice-Hall Englewood Cliffs, NJ
9. P.W.K. Rothemund, A DNA and restriction enzyme implementation of turing machines, in: DNA-Based Computers, Proceedings of a DIMACS Workshop, vol. 27, 1995, pp. 75-119.
10. M.N. Stojanovic, T.E. Mitchell, and D. Stefanovic Deoxyribozyme-based logic gates J. Amer. Chem. Soc. 124 2002 3555 3561
11. H. Sugisaki, and S. Kanazawa New restriction endonucleases from Flavobacterium okeanokoites (FokI) and Micrococcus luteus (MluI) Gene 16 1981 73 78
12. I. Wegener, Branching Programs and Binary Decision Diagrams, SIAM Monographs on Discrete Mathematics and Applications, 2000.