Biological organisms perform complex information processing and control tasks using sophisticated biochemical circuits, yet the engineering of such circuits remains ineffective compared with that of electronic circuits. To systematically create complex yet reliable circuits, electrical engineers use digital logic, wherein gates and subcircuits are composed modularly and signal restoration prevents signal degradation. We report the design and experimental implementation of DNA-based digital logic circuits. We demonstrate AND, OR, and NOT gates, signal restoration, amplification, feedback, and cascading. Gate design and circuit construction is modular. The gates use single-stranded nucleic acids as inputs and outputs, and the mechanism relies exclusively on sequence recognition and strand displacement. Biological nucleic acids such as microRNAs can serve as inputs, suggesting applications in biotechnology and bioengineering.

Biological organisms use complex molecular networks to navigate their environment and regulate their internal state. The development of synthetic systems with similar capabilities could lead to applications such as smart therapeutics or fabrication methods based on self-organization. To achieve this, molecular control circuits need to be engineered to perform integrated sensing, computation and actuation. Here we report a DNA-based technology for implementing the computational core of such controllers. We use the formalism of chemical reaction networks as a 'programming language', and our DNA architecture can, in principle, implement any behaviour that can be mathematically expressed as such. Unlike logic circuits, our formulation naturally allows complex signal processing of intrinsically analogue biological and chemical inputs. Controller components can be derived from biologically synthesized (plasmid) DNA, which reduces errors associated with chemically synthesized DNA. We implement several building-block reaction types and then combine them into a network that realizes, at the molecular level, an algorithm used in distributed control systems for achieving consensus between multiple agents.

Molecular programming aims to systematically engineer molecular and chemical systems of autonomous function and ever-increasing complexity. A key goal is to develop embedded control circuitry within a chemical system to direct molecular events. Here we show that systems of DNA molecules can be constructed that closely approximate the dynamic behavior of arbitrary systems of coupled chemical reactions. By using strand displacement reactions as a primitive, we construct reaction cascades with effectively unimolecular and bimolecular kinetics. Our construction allows individual reactions to be coupled in arbitrary ways such that reactants can participate in multiple reactions simultaneously, reproducing the desired dynamical properties. Thus arbitrary systems of chemical equations can be compiled into real chemical systems. We illustrate our method on the Lotka-Volterra oscillator, a limit-cycle oscillator, a chaotic system, and systems implementing feedback digital logic and algorithmic behavior. . Whereas the use of mass-action kinetics to describe existing chemical systems is well established, the inverse problem of experimentally implementing a given set of chemical reactions has not been considered in full generality. Here, we ask: Given a set of formal chemical reaction equations, involving formal species X 1 ; X 2 ; …; X n , can we find a set of actual molecules M 1 ; M 2 ; …; M m that interact in an appropriate buffer to approximate the formal system's mass-action kinetics? If this were possible, the formalism of chemical reaction networks (CRNs) could be treated as an effective programming language for the design of complex network behavior (5-9).Unfortunately, a formally expressed system of coupled chemical equations may not have an obvious realization in known chemistry. In a formal system of chemical reactions, a species may participate in multiple reactions, both as a reactant and/or as a product, and these reactions progress at relative rates determined by the corresponding rate constants, all of which imposes formidable constraints on the chemical properties of the species participating in the reactions. For example, it is likely hard to find a physical implementation of arbitrary chemical reaction equations using small molecules, because small molecules have a limited set of reactivities.Thus, formal CRNs may appear to be an unforgiving target for general implementation strategies. Indeed, most experimental work in chemical and biological engineering has started with particular molecular systems-genetic regulatory networks (10), RNA folding and processing (11), metabolic pathways (12), signal transduction pathways (13), cell-free enzyme systems (14, 15), and small molecules (16, 17)-and found ways to modify or rewire the components to achieve particular functions. Attempts to systematically understand what functional behaviors can be obtained by using such components have targeted connections to analog and digital electronic circuits (10,18,19), neural networks (20)(21)(22), and computing machines (...

Molecular programming aims to systematically engineer molecular and chemical systems of autonomous function and ever-increasing complexity. A key goal is to develop embedded control circuitry within a chemical system to direct molecular events. Here we show that systems of DNA molecules can be constructed that closely approximate the dynamic behavior of arbitrary systems of coupled chemical reactions. By using strand displacement reactions as a primitive, we construct reaction cascades with effectively unimolecular and bimolecular kinetics. Our construction allows individual reactions to be coupled in arbitrary ways such that reactants can participate in multiple reactions simultaneously, reproducing the desired dynamical properties. Thus arbitrary systems of chemical equations can be compiled into real chemical systems. We illustrate our method on the Lotka-Volterra oscillator, a limit-cycle oscillator, a chaotic system, and systems implementing feedback digital logic and algorithmic behavior. . Whereas the use of mass-action kinetics to describe existing chemical systems is well established, the inverse problem of experimentally implementing a given set of chemical reactions has not been considered in full generality. Here, we ask: Given a set of formal chemical reaction equations, involving formal species X 1 ; X 2 ; …; X n , can we find a set of actual molecules M 1 ; M 2 ; …; M m that interact in an appropriate buffer to approximate the formal system's mass-action kinetics? If this were possible, the formalism of chemical reaction networks (CRNs) could be treated as an effective programming language for the design of complex network behavior (5-9).Unfortunately, a formally expressed system of coupled chemical equations may not have an obvious realization in known chemistry. In a formal system of chemical reactions, a species may participate in multiple reactions, both as a reactant and/or as a product, and these reactions progress at relative rates determined by the corresponding rate constants, all of which imposes formidable constraints on the chemical properties of the species participating in the reactions. For example, it is likely hard to find a physical implementation of arbitrary chemical reaction equations using small molecules, because small molecules have a limited set of reactivities.Thus, formal CRNs may appear to be an unforgiving target for general implementation strategies. Indeed, most experimental work in chemical and biological engineering has started with particular molecular systems-genetic regulatory networks (10), RNA folding and processing (11), metabolic pathways (12), signal transduction pathways (13), cell-free enzyme systems (14, 15), and small molecules (16, 17)-and found ways to modify or rewire the components to achieve particular functions. Attempts to systematically understand what functional behaviors can be obtained by using such components have targeted connections to analog and digital electronic circuits (10,18,19), neural networks (20)(21)(22), and computing machines (...

Chemistries exhibiting complex dynamics-from inorganic oscillators to gene regulatory networks-have been long known but cannot be reprogrammed at will because of a lack of control over their evolved or serendipitously found molecular building blocks. Here we show that information-rich DNA strand displacement cascades could be systematically constructed to realize complex temporal trajectories specified by an abstract chemical reaction network model. We codify critical design principles in a compiler that automates the design process, and demonstrate our approach by building a novel DNA-only oscillator. Unlike biological networks that rely on the sophisticated chemistry underlying the central dogma, our test tube realization suggests that simple Watson-Crick base pairing interactions alone suffice for arbitrarily complex dynamics. Our result establishes a basis for autonomous and programmable molecular systems that interact with and control their chemical environment.