Abstract
The unique properties of DNA make it a fundamental building block in the fields of supramolecular chemistry, nanotechnology, nano-circuits, molecular switches, molecular devices, and molecular computing. In our recently introduced autonomous molecular automaton, DNA molecules serve as input, output, and software, and the hardware consists of DNA restriction and ligation enzymes using ATP as fuel. In addition to information, DNA stores energy, available on hybridization of complementary strands or hydrolysis of its phosphodiester backbone. Here we show that a single DNA molecule can provide both the input data and all of the necessary fuel for a molecular automaton. Each computational step of the automaton consists of a reversible software molecule/input molecule hybridization followed by an irreversible software-directed cleavage of the input molecule, which drives the computation forward by increasing entropy and releasing heat. The cleavage uses a hitherto unknown capability of the restriction enzyme FokI, which serves as the hardware, to operate on a noncovalent software/input hybrid. In the previous automaton, software/input ligation consumed one software molecule and two ATP molecules per step. As ligation is not performed in this automaton, a fixed amount of software and hardware molecules can, in principle, process any input molecule of any length without external energy supply. Our experiments demonstrate 3 × 1012 automata per μl performing 6.6 × 1010 transitions per second per μl with transition fidelity of 99.9%, dissipating about 5 × 10−9 W/μl as heat at ambient temperature.
The function of DNA is to store hereditary information and regulate the expression of this information (1). The unique chemical properties of DNA encouraged its utilization in novel contexts. The highly selective base pairing renders DNA an excellent building block for supramolecular ensembles, one of the few that can assemble in an aqueous environment. DNA may serve either as a principal structural component or as a mediator that arranges tethered ligands or particles (2, 3). The former approach encompasses nanoscale DNA constructs (4) and extended spatial structures (5). The latter includes DNA-directed assembly of proteins (6), fullerenes (7), and golden particles (8) and DNA-templated nanowire formation (9). DNA also forms dynamic constructs, such as a molecular switch (10) and oscillating molecular machines (11, 12). DNA recognition properties are also exploited in antisense regulation of gene expression (13).
The combination of information-encoding and recognition capabilities of DNA, and the enzymatic machinery available for DNA manipulation, facilitated the emergence of the field of biomolecular computing. Experimental DNA computers (14–23) use single-stranded or double-stranded DNA to encode their data and possibly the software. These molecules interact in a programmed fashion, accompanied by enzymatic or manual manipulations, providing a DNA molecule encoding an output.
So far, little attention has been given to the energetic aspects of DNA computers. In practice, all of the protocols use ATP to allow ligation and/or heating to allow strand dissociation. However, the reverse operations, i.e., the hydrolysis of the DNA backbone and strand hybridization, are spontaneous because they are driven by the potential free energy stored in DNA itself. A molecular computer using these operations may, in principle, be fueled by its DNA input. In fact, the potential free energy of single-stranded DNA was used in noncomputational context to fuel oscillating devices (11, 12). Here we describe a DNA-based finite automaton that computes via repeated cycles of self-assembly and processing. The reversible self-assembly is driven by hybridization energy between input/software complementary sticky ends, whereas the irreversible processing step is driven exclusively by the energy released upon hydrolysis of the input DNA backbone and does not require ATP or heating. Our automaton can, in principle, use a fixed amount of software and hardware molecules to process any input molecule of any length without external energy supply, and as such provides experimental realization of the theoretical possibility to use the potential energy of a DNA input molecule to drive a molecular computation.
Materials and Methods
Materials.
FokI stock (54 μM, 60 units/μl), T4 DNA ligase (400 units/μl), and T4 polynucleotide kinase (PNK) (10 units/μl) were from New England Biolabs. Redivue [γ-32P]ATP (≈3,000 mCi/mmol, 3.33 pmol/μl) and ATP (100 mM) were obtained from Amersham Pharmacia. Synthetic oligonucleotides (desalted and lyophilized, 1-μmol scale) were from Sigma-Genosys.
Assembly of the Machine Components.
Single-stranded components of the software and inputs were purified to homogeneity by using a 15% denaturing acrylamide gel (40 cm × 1.5 mm) containing 8 M urea (24). The oligonucleotides for the construction of the software were TN1368 (5′-AAGAGCTAGAGTCGGATGC), TN24 (5′-AAGAGCTAGAGTCGGATGCC), TN57 (5′-AAGAGCTAGAGTCGGATG), TN1-as (5′-AGCCGCATCCGACTCTAGCTCT), TN2-as (5′-AGCCGGCATCCGACTCTAGCTCT), TN3-as (5′-CCTGGCATCCGACTCTAGCTCT), TN4-as (5′-CCTGGGCATCCGACTCTAGCTCT), TN5-as (5′-GCCACATCCGACTCTAGCTCT), TN6-as (5′-GCCAGCATCCGACTCTAGCTCT), TN7-as (5′-CTGCCATCCGACTCTAGCTCT), and TN8-as (5′-CTGCGCATCCGACTCTAGCTCT).
The software molecules were prepared by annealing the following pairs of oligonucleotides: T1, TN1368 and TN1-as; T2, TN24 and TN2-as; T3, T1368 and TN3-as; T4, TN24 and TN4-as; T5, TN57 and TN5-as; T6, TN1368 and TN6-as; T7, TN57 and TN7-as; and T8, TN1368 and TN8-as.
The oligonucleotides for the construction of the inputs were: abb-s (5′-GGCTGCCGCAGGGCCGCAGGGCCGTCGGTACCGATTAAGTTGGA), abb-as (5′-CCAACTTAATCGGTACCGACGGCCCTGCGGCCCTGCGGC), abba-s (5′-GGCTGCCGCAGGGCCGCAGGGCCTGGCTGCCGTCGGTACCGATTAAGTTGGA), abba-as (5′-CCAACTTAATCGGTACCGACGGCAGCCAGGCCCTGCGGCCCTGCGGC), babb2-s (5′-CAGGGCCTGGCTGCCGCAGGGCCGCAGGGCCT), babb2-as (5′-AGCCAGGCCCTGCGGCCCTGCGGCAGCCAGGC), baaa2-s (5′-CAGGGCCTGGCTGCCTGGCTGCCTGGCTGCCT), baaa2-as (5′-AGCCAGGCAGCCAGGCAGCCAGGCAGCCAGGC), abbb3-s (5′-GGCTGCCGCAGGGCCGCAGGGCCGCAGGGCCG), and abbb3-as (5′-CCTGCGGCCCTGCGGCCCTGCGGCCCTGCGGC).
The input building blocks were prepared by annealing of the sense and antisense strands of each block, i.e., abb (abb-s and abb-as), etc. The inputs I3-I8 were prepared by stepwise ligation of the building blocks: I3 (babbabb), ligation of abb and babb2; I4 (babbabba), babb2 and abba; I5 (baaaabb), baaa2 and abb; I6 (baaaabba), baaa2 and abba; I7 (abbbbabbabb), abbb3, babb2, and abb; and I8 (abbbbaaaabba), abbb3, baaa2, and abba.
When radioactive inputs were required, 20 pmol of the abb-as and abba-as oligonucleotides were 32P-labeled and added to a varying amount of unlabeled oligonucleotides (2,000–6,000 pmol each) before annealing. For radioactive labeling, 20 pmol of the substrate were mixed with 5 μl of [γ-32P]ATP and 10 units of T4 PNK in 10 μl of T4 PNK reaction buffer and incubated at 37°C for 60 min. Labeled oligonucleotides were purified with a nucleotide removal kit (Qiagen, Valencia, CA), eluted into 50–100 μl of EB buffer (10 mM Tris⋅HCl, pH 8.5) (Qiagen), and dried in a SpeedVac. Termini bound to ligate were phosphorylated before annealing. Typically, 6,000 pmol of a substrate oligonucleotide was phosphorylated by 160 units of T4 PNK in 240 μl of PNK buffer supplied with 1 mM ATP, for 60 min at 37°C, ethanol-precipitated, and resuspended in TE buffer (10 mM Tris⋅HCl, 1 mM EDTA, pH 8.0). The annealing was performed by mixing equimolar (100–200 μM) amounts of the sense and antisense oligonucleotides in 50 mM NaCl, heating to 94°C, and slow-cooling to room temperature. Double-stranded blocks (1,500 pmol of each) were ligated by T4 DNA ligase (≈1,700 units) in 400 μl of T4 DNA ligase buffer at 16°C for 1 h. The ligation products were ethanol-precipitated, resuspended in TE buffer (pH 8.0), and purified from native PAGE (12%, 16 cm × 1.5 mm) (25). Purified duplexes were quantified by GeneQuant apparatus (Amersham Pharmacia). Single-nucleotide extrusions were introduced into all substrates to avoid blunt-end ligations in control experiments in the presence of ligase.
Computation Reaction.
In a typical reaction the FokI enzyme was added in a 1:1 ratio to the desired set of transition molecules, while each software molecule was maintained at least at 1 μM concentration and at the same time in excess of or equal to the input. The reactions were performed in 10 μl of NEB4 buffer at 8°C and assayed by 20% denaturing PAGE with input molecules labeled in the 5′ terminus of the antisense strands. In this assay, S0 and S1 outputs were represented by 15-nt and 16-nt bands, respectively.
Performance Optimization.
Performance was optimized with software A2 and input I3. To calculate the total number of operations, gel images were analyzed by using IMAGE GAUGE 3.41 software (Fuji). The relative amounts of unreacted input, intermediates, and output were measured by assuming linear dependence between signal intensity and the amount of radioactive label. The total number of steps S was calculated according to the formula S = N(χ1 + 2 χ2 + … L χL), where N is a total number of molecules, L is a number of symbols in an input molecule, and χi is a relative abundance of an ith intermediate.
Energy Dissipation Calculation.
A computation is a series of single-symbol cleavages, which occur sequentially for each input molecule but concurrently for the entire set of input molecules:
Each elementary reaction is a hydrolysis of two phosphodiester bonds with ΔGo = −44.31 kJ/mol at 25°C (26). A corrected value for 8°C assuming the same equilibrium constant is ΔGo (281 K) = −41.78 kJ/mol. Actual ΔG values depend on the concentrations of the different species, thus energy dissipation rate depends on the reaction coordinate. For a particular reaction, we directly measure the number of moles of each intermediate ai… an at a time t and denote it as αi(t). We denote the number of moles of each cleaved symbol ai as βi(t),
To calculate average energy dissipation between time points t1 and t2, we measure the mole numbers of intermediates at these time points, then calculate the following for this time interval: (i) an average rate of each elementary reaction, which is equivalent to the transition rate of the molecular computer:
and (ii) the average number of moles of each intermediate:
The average value of ΔG for each elementary reaction in this interval is
where V is the reaction volume. The ΔGi has the units of J/mole. To obtain energy dissipation rate, we multiply it by the average transition rate. For each elementary reaction, this dissipation rate is g = γ1ΔG1 and the total dissipation is g = γ1ΔG1 + γ2ΔG2 + … + γn-1ΔGn-1, which has units of J/s or W. This includes both enthalpy and entropy contribution, whereas strictly speaking, heat dissipation refers to enthalpy change only. There is no accurate data on entropy change except that it is positive. The calculated value of g gives therefore an upper bound on heat dissipation.
Results
State Machines and Finite Automata.
Generally, a state machine consists of (i) a data tape divided into cells, each containing a symbol selected from the tape alphabet and (ii) a computing device driven by transition rules. The device is positioned over one of the cells and is in one of a finite number of internal states. Depending on the symbol detected and the internal state, a transition rule instructs the device to write a new symbol, change state, and move one cell to the left or to the right. The Turing machine (27) is the most general type of state machine, capable of writing on the tape as well as moving in both directions.
A more restricted, yet important, class of state machines is finite automata (28). A finite automaton is a unidirectional read-only Turing machine. Its input is a finite string of symbols. It is initially positioned on the leftmost input symbol in a default initial state, and in each transition moves one symbol to the right, possibly changing its internal state. Its software consists of transition rules, each specifying a next state based on the current state and current symbol. A computation terminates after the last input symbol is processed, the final state being its “output.” Alternatively, it may suspend without completion when no transition rule applies. Some states are deemed accepting. An automaton accepts an input if there is a computation with this input that ends in an accepting final state. A finite automaton with two states and an alphabet of two symbols is shown in Fig. 1A. It determines if an input over the alphabet {a, b} contains an even number of a symbols. Fig. 1B shows the intermediate configurations obtained during a computation of this automaton. A two-state, two-symbol automaton can have eight possible transition rules. Programming such an automaton amounts to selecting transition rules and deciding which states are accepting. A selection of such programs is shown in Fig. 1C.
Design and Mechanism of Operation of the Molecular Finite Automaton.
Double-stranded DNA molecules with sticky ends realize both the software (Fig. 2C) and the input (Fig. 2D) and the class IIS restriction enzyme FokI functions as the hardware (Fig. 2B). Unlike previous work (22), the core computational step (Fig. 2E) does not use energy-consuming ligase to bond the input and software molecules. Rather, it uses a hitherto unknown capability of FokI to cleave DNA in the presence of a noncovalent hybridization complex between its recognition and cleavage sites. As a beneficial side effect, the software molecule used in this step is not consumed, unlike previous work, because it dissociates spontaneously from the cleaved input symbol (Fig. 2E), rendering it reusable for subsequent transitions. The software molecules (Fig. 2C) effectively operate as a family of cofactors of variable specificity (29) to FokI, each determining a specific FokI cleavage site on the input molecule, and a fixed amount of software and hardware molecules can, in principle, process any input molecule of any length.
Each computational step cleaves and scatters one input symbol, a short molecule with an even shorter double-stranded region (3–5 bp), which probably dissociates in solution to single-stranded DNAs (Fig. 2E). For very long inputs the accumulation of input fragments may slow the computation down by reversibly binding to the sticky ends of the input and the software. It is conceivable that the residual energy of these fragments may be sufficient to dispose of them, for example, through selective hydrolytic digestion.
The computation proceeds until no software molecule matches the state-symbol pair encoded by the exposed sticky end or until the special terminator symbol is cleaved. This final state encoded by the output molecule can be identified according to either its length (Fig. 3) or its sticky end (22).
Although a hint of ligase-free operation has been observed (22), its direct realization via removal of ligase and ATP proved impossible, requiring important design changes. We found that the ability of FokI to cleave DNA with its recognition and cleavage sites attached by sticky-end hybridization was limited to specific hybridization complexes. To identify them we varied the composition of the spacer between the FokI recognition site and the sticky end of the software molecule, the length of the spacer and the composition of the sticky end, with corresponding modifications to the input molecules. We observed that long spacers and low GC content often resulted in cleaving only one of the input strands, producing a computationally illegal configuration. Correct performance was achieved with short spacers and high GC content of the sticky ends. Our final design uses the shortest possible spacers of 0, 1, and 2 bp (Fig. 2C), which dictates a particular symbol encoding (Fig. 2A) and the introduction of spacers between the symbols (Fig. 2D).
To optimize reaction conditions, we calculated the relative abundance of the hardware/software/input complex for different initial concentrations of these molecules, assuming dissociation constants of 2 nM (30) for the hardware/software complex and 50 μM for software/input hybrid. The highest proportion of the complex was found at equimolar ratio of hardware and software molecules, the absolute concentrations of both being in the micromolar range and in excess of the input. This finding suggests that the reactive species is a tight (30) hardware/software complex (Fig. 2E), possessing both recognition and cleavage capabilities. Indeed, experiments showed that preincubation of hardware and software molecules before input addition resulted in almost a 2-fold rate increase, supporting this suggestion.
Proof of the Proposed Mechanism.
Conclusive evidence for the ability of FokI to perform a transition based on hybridization without ligation is shown in Fig. 3A. We incubated a one-symbol input, complementary software and FokI and compared phosphorylated and nonphosphorylated 5′ termini of the input and software molecules. The reaction proceeded independently of the 5′ phosphate availability and therefore it was ligase independent (1). In addition, the software molecule did not undergo any change as judged from the gel image and, as expected, served as a double-stranded DNA cofactor for the enzyme.
System Performance.
This ATP-free system retains the computational capabilities of the previous automaton and even outperforms it. Three programs (Fig. 1 A and C) were applied to a selection of eight inputs up to 12 symbols long (Fig. 1D). In each case the major output molecule was formed in agreement with the prediction (Fig. 3B). The byproducts visible at the locations of the incorrect outputs cannot be unambiguously assigned at this stage. The correctness of the computation, based on the worst-case assumption that the byproducts represent incorrect outputs, depends on the software. We obtained single-step fidelity of 99.9% with input I8 and software A3 whereas the average value for 12-symbol inputs was ≈99.5%. We also observed that the abundance of the putative erroneous bands was almost independent of input length, resulting in lower single-step fidelity values for shorter inputs. For example, program A1 applied to input I2 (four symbols long) rendered single-step correctness of only 95%. However, it is clear that the real fidelity is higher, otherwise the computations would randomize completely after 12 steps. Indeed, analysis of the correctness with detection molecules able to hybridize selectively to different outputs (22) indicates that at least some of the byproducts do not represent real errors, and the average single-step fidelity for long inputs determined by this method is ≈99.9% (data not shown). We have yet to explain this discrepancy.
The reusability of software molecules was demonstrated by using a small amount of software to process a large amount of input (Fig. 3C). During this computation one type of software molecule (T8) performed on the average 54 transitions per molecule, with some molecules necessarily performing many more transitions than the average.
Optimization of the Computation Reactions.
We optimized system performance in two respects. First, the duration of a single computational step was minimized. The fastest computation was achieved when 4 μM of program A2 (1 μM of each software molecule) and 4 μM of hardware were mixed with 10 nM of the I3 input at 8°C. This computation proceeded with an initial rate of 20 s per step per input molecule, about 50-fold improvement compared with the previous system (22) (1,000 s per step per molecule). We considered the initial rates obtained over the first 30 s of the reaction because at longer sampling times fully processed input molecules accumulated, introducing a bias toward lower numbers.
Second, the parallel performance of the system was improved by maximizing the total number of operations performed per s in a unit solution volume. Ten micromolar program A2 (2.5 μM of each molecule) and 10 μM FokI were preincubated at 8°C for 30 min and then mixed with 5 μM of the I3 input. A cumulative initial rate was 6.646 × 1010 operations per s per μl, an ≈8,000-fold improvement over the previous system (8.3 × 106 operations per s per μl). The single-step duration at these conditions was ≈45 s, only about two times slower than in the fastest reaction.
Error rates in the optimized processes versus the slow computation with software recycling provided an insight into the speed/error rate tradeoff. In the fast reaction, the apparent single-step correctness rose slightly from 98.1% after the first 30 s to 98.9% after 4 min. In the reaction optimized for parallel performance, the correctness remained constant over time, equaling 99.5%. In the “slow” computation, the fidelity after 18 h was 98.7%. These results suggest that error rate is independent of computation speed and rather depends on the molecular structure of the reacting compounds.
Energy Dissipation.
Heat dissipation depends on reaction conditions, reaction coordinate, and the number of symbols in the input. We therefore selected a particular computation, namely the high-performance reaction, and estimated its average heat dissipation between 30 and 60 s from its onset (see Materials and Methods). The calculation provides an upper limit on the value of heat dissipation of ≈ 5.3 × 10−9 W/μl under these conditions and an average free energy change of ≈−33.9 kT per transition. Reaction rates were surprisingly insensitive to temperature and remained similar over the range of 2–20°C. This finding might represent a tradeoff between a decrease in stability of sticky end hybridization and an increase in enzyme activity as the temperature increases.
Discussion
We define the DNA energy balance of a molecular computation to be the difference between the free energy of the DNA output and byproducts and the free energy of the DNA input. Negative balance implies that, thermodynamically, the DNA input contains enough potential free energy to fuel the computation. The two types of compounds that contribute to the overall negative balance are self-assembled complexes of the input components or products of input hydrolysis. The former use hybridization energy between complementary strands whereas the latter use the energy-rich phosphodiester bonds of DNA backbone. Actual harvesting of the free-energy difference depends on the activation energies en route between intermediates and is a function of the molecular mechanism used.
Several theoretical and experimental molecular computing systems exhibit negative DNA energy balance. Ensembles of DNA tiles have lower energy than the individual tiles; assembled DNA representing paths in a graph have lower energy than the single strands representing vertices and edges. Because of its intrinsic instability, further processing of a self-assembled computational output may require covalent sealing using external energy. This is standard practice in the combinatorial approach and may also be required with tiling-based computations. Moreover, unlike our implementation, each logical operation in the tiling-based approach consumes a tile-representing software molecule. Even when the ligation is avoided, tile molecules cannot be reused during the same run and the amount consumed is linear in the length of the computation for simple automata and quadratic for universal automata.
Structural decomposition of DNA and other biopolymers is thermodynamically downhill because turning a spatially constrained sequence of bits into an unordered collection increases entropy and, furthermore, biopolymer cleavage dissipates heat. Hence input destruction can drive biomolecular computations. This principle is not readily realized by electronic computers, which destroy information via erasure. Erasure is thermodynamically uphill because resetting an unknown bit to zero decreases entropy (31–33), and past research on energy-efficient computing focused on reversible computers that avoid information destruction (31–40).
One hypothetical way to obtain energy from information proposed by Bennett (31) was based on scanning the input tape and replacing each input symbol by a random symbol. Information destruction by randomization can only extract energy from a nonrandom input, as randomizing an already random input does not increase entropy (31, 32). Furthermore, it is not clear how this method can be realized in practice. Another possibility is to destroy the input structure while preserving the input symbols, effectively turning the sequence of symbols (string) into an unordered collection (multiset). Indeed this increase in entropy is responsible in part for driving our computing machine.
The theoretical possibility of performing any computation with arbitrarily little energy was suggested three decades ago (31). Our automaton is very similar in its overall logical structure to a hypothetical biomolecular computing device envisioned by Bennett (ref. 35, p. 531) in 1973, as a possible design for such a low-energy computing device. The important difference is that unlike the reversible hypothetical device of Bennett, the use of input destruction by our automaton entails entropy increase and nontrivial heat dissipation, and therefore is irreversible. Our computing machine dissipates about 34 kT per transition, which is ≈50 times higher than kTln 2, the theoretical energy gain of randomizing a known bit (32). One can envision other computing machines that dissipate smaller amounts of heat at the expense of reduced speed and/or reduced precision (31, 32, 35, 37). Yet DNA cleavage together with its inverse operations of elongation and ligation seem to strike a very practical balance between energy, speed, and precision. Furthermore, we believe that the design choice made by living systems to package information in metastable polymers, namely DNA, RNA, and proteins, the decomposition of which dissipates heat and increases entropy, is of fundamental importance. This design inhibits the formation of unwanted random information and facilitates discarding dated, erroneous, or hostile information in the cell and recycling its constituent bits, rendering the cell an efficient information-processing device. These two observations regarding the packaging of information and fuel in DNA may help explain its selection as the basis of nature's information system.
Acknowledgments
We thank A. Regev and A. Horovitz for critical review of this manuscript and E. Moses, D. Tawfik, N. Tishby, and B. Yurke for helpful discussions. Z.L. is the Incumbent of The Maxwell Ellis Professorial Chair in Biomedical Research. This work was supported by a research grant from the Dolphi and Lola Ebner Center for Biomedical Research, the Samuel R. Dweck Foundation, and the Minerva Foundation.
Abbreviation
- PNK
polynucleotide kinase
Footnotes
This paper was submitted directly (Track II) to the PNAS office.
References
- 1.Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter P. Molecular Biology of the Cell. 4th Ed. New York: Garland; 2002. [Google Scholar]
- 2.Storhoff J J, Mirkin C A. Chem Rev. 1999;99:1849–1862. doi: 10.1021/cr970071p. [DOI] [PubMed] [Google Scholar]
- 3.Bashir R. Superlattices Microstruct. 2001;29:1–16. [Google Scholar]
- 4.Seeman N C. Angew Chem Int Ed. 1998;37:3220–3238. doi: 10.1002/(SICI)1521-3773(19981217)37:23<3220::AID-ANIE3220>3.0.CO;2-C. [DOI] [PubMed] [Google Scholar]
- 5.Winfree E, Liu F R, Wenzler L A, Seeman N C. Nature. 1998;394:539–544. doi: 10.1038/28998. [DOI] [PubMed] [Google Scholar]
- 6.Niemeyer C M, Burger W, Peplies J. Angew Chem Int Ed. 1998;37:2265–2268. doi: 10.1002/(SICI)1521-3773(19980904)37:16<2265::AID-ANIE2265>3.0.CO;2-F. [DOI] [PubMed] [Google Scholar]
- 7.Cassel A M, Scrivens W A, Tour J M. Angew Chem Int Ed. 1998;37:1528–1531. doi: 10.1002/(SICI)1521-3773(19980619)37:11<1528::AID-ANIE1528>3.0.CO;2-Q. [DOI] [PubMed] [Google Scholar]
- 8.Mirkin C A, Letsinger R L, Mucic R C, Storhoff J J. Nature. 1996;382:607–609. doi: 10.1038/382607a0. [DOI] [PubMed] [Google Scholar]
- 9.Braun E, Eichen Y, Sivan U, Ben-Yoseph G. Nature. 1998;391:775–778. doi: 10.1038/35826. [DOI] [PubMed] [Google Scholar]
- 10.Mao C, Sun W, Shen Z, Seeman N C. Nature. 1999;397:144–146. doi: 10.1038/16437. [DOI] [PubMed] [Google Scholar]
- 11.Yurke B, Turberfield A J, Mills A P, Jr, Simmel F C, Neumann J L. Nature. 2000;406:605–608. doi: 10.1038/35020524. [DOI] [PubMed] [Google Scholar]
- 12.Yan H, Zhang X, Shen Z, Seeman N C. Nature. 2002;415:62–65. doi: 10.1038/415062a. [DOI] [PubMed] [Google Scholar]
- 13.Lebedeva I, Stein C A. Annu Rev Pharmacol Toxicol. 2001;41:403–419. doi: 10.1146/annurev.pharmtox.41.1.403. [DOI] [PubMed] [Google Scholar]
- 14.Adelman L M. Science. 1994;266:1021–1024. doi: 10.1126/science.7973651. [DOI] [PubMed] [Google Scholar]
- 15.Lipton R J. Science. 1995;268:542–545. doi: 10.1126/science.7725098. [DOI] [PubMed] [Google Scholar]
- 16.Ouyang Q, Kaplan P D, Liu S, Libchaber A. Science. 1997;278:446–449. doi: 10.1126/science.278.5337.446. [DOI] [PubMed] [Google Scholar]
- 17.Khodor J, Gifford D K. Biosystems. 1999;52:93–97. doi: 10.1016/s0303-2647(99)00036-2. [DOI] [PubMed] [Google Scholar]
- 18.Ruben A J, Landweber L F. Nat Rev Mol Cell Biol. 2000;1:69–72. doi: 10.1038/35036086. [DOI] [PubMed] [Google Scholar]
- 19.Sakamoto K, Gouzu H, Komiya K, Kiga D, Yokoyama S, Yokomori T, Hagiya M. Science. 2000;288:1223–1226. doi: 10.1126/science.288.5469.1223. [DOI] [PubMed] [Google Scholar]
- 20.Faulhammer D, Cukras A R, Lipton R J, Landweber L F. Proc Natl Acad Sci USA. 2000;97:1385–1389. doi: 10.1073/pnas.97.4.1385. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 21.Mao C, LaBean T H, Reif J H, Seeman N C. Nature. 2000;407:493–496. doi: 10.1038/35035038. [DOI] [PubMed] [Google Scholar]
- 22.Benenson Y, Paz-Elizur T, Adar R, Keinan E, Livneh Z, Shapiro E. Nature. 2001;414:430–434. doi: 10.1038/35106533. [DOI] [PubMed] [Google Scholar]
- 23.Braich R S, Chelyapov N, Johnson C, Rothemund P W K, Adleman L. Science. 2002;296:499–502. doi: 10.1126/science.1069528. [DOI] [PubMed] [Google Scholar]
- 24.Ellington A, Pollard J D., Jr . In: Current Protocols in Molecular Biology. Ausubel F M, Brent R, Kingston R E, Moore D D, Seidman J G, Smith J A, Struhl K, editors. New York: Wiley; 1998. pp. 2.12.1–2.12.7. [Google Scholar]
- 25.Chory J, Pollard J D., Jr . In: Current Protocols in Molecular Biology. Ausubel F M, Brent R, Kingston R E, Moore D D, Seidman J G, Smith J A, Struhl K, editors. New York: Wiley; 1998. pp. 2.7.1–2.7.8. [Google Scholar]
- 26.Dickson K S, Burns C M, Richardson J P. J Biol Chem. 2000;275:15828–15831. doi: 10.1074/jbc.M910044199. [DOI] [PubMed] [Google Scholar]
- 27.Turing A M. Proc London Math Soc. 1936;42:230–265. [Google Scholar]
- 28.Hopcroft J E, Motwani R, Ullmann J D. Introduction to Automata Theory, Languages, and Computation. 2nd Ed. Boston: Addison–Wesley; 2000. [Google Scholar]
- 29.Zamore P D. Nat Struct Biol. 2001;8:746–750. doi: 10.1038/nsb0901-746. [DOI] [PubMed] [Google Scholar]
- 30.Kim S C, Skowron P W, Szybalski W. J Mol Biol. 1996;258:638–649. doi: 10.1006/jmbi.1996.0275. [DOI] [PubMed] [Google Scholar]
- 31.Bennett C H. Int J Theor Phys. 1982;21:905–940. [Google Scholar]
- 32.Feynman R P. In: Feynman Lectures on Computation. Allen R W, Hey A J G, editors. Cambridge, MA: Perseus; 1999. [Google Scholar]
- 33.Landauer R. IBM J Res Dev. 1961;3:183–191. [Google Scholar]
- 34.Keyes R W, Landauer R. IBM J Res Dev. 1970;14:152–156. [Google Scholar]
- 35.Bennett C H. IBM J Res Dev. 1973;17:525–532. [Google Scholar]
- 36.Bennett C H. IBM J Res Dev. 1988;32:16–23. [Google Scholar]
- 37.Fredkin E, Toffoli T. Int J Theor Phys. 1982;21:219–253. [Google Scholar]
- 38.Benioff P. Phys Rev Lett. 1982;48:1581–1585. [Google Scholar]
- 39.Zurek W H. Nature. 1989;341:119–124. [Google Scholar]
- 40.Li M, Vitányi P M B. Proc R Soc London Ser A. 1996;452:769–789. [Google Scholar]