H+ Magazine
Covering technological, scientific, and cultural trends that are changing–and will change–human beings in fundamental ways.

Editor's Blog

Gerd HG Moe-Behrens
July 3, 2013


Abstract

Systemics, a revolutionary paradigm shift in scientific thinking, with applications in systems biology, and synthetic biology, have led to the idea of using silicon computers and their engineering principles as a blueprint for the engineering of a similar machine made from biological parts. Here we describe these building blocks and how they can be assembled to a general purpose computer system, a biological microprocessor. Such a system consists of biological parts building an input / output device, an arithmetic logic unit, a control unit, memory, and wires (busses) to interconnect these components. A biocomputer can be used to monitor and control a biological system.

Introduction

Nature and computers are words that used to mean unrelated things. However, this view changed, starting in the 1940s, when a revolutionary scientific paradigm, systemics based on platonic idealistic philosophy, gained popularity [1] [2] [3].

The roots of philosophical idealism based systemics goes back to Plato. A centerpiece of Plato’s (428/7 to 348/7 BC) work is his theory of forms, also called theory of ideas [2]. Forms are archetypes, blueprints, the essences of the various phenomena of the same thing. The superior world consists, due to Plato, of mathematical objects, terms and non-materialistic abstract ideas. Moreover, Plato introduced in his dialogue Philebus a concept called System [4]. A system is according to Plato a model for thinking about how complex structures are developed. Another idealistic philosopher, Kant, introduced, in 1790, in his Critique of Judgment the concept of self-organizing [5]. Idealistic concepts based systemics have become important in contemporary science in order to understand complexity and big data problems. Between the 1950s and 60s three groundbreaking works were published: 1948, Norbert Wiener publishes “Cybernetics or Control and communication in the animal and machine” [1]. In 1955 William Ross Ashby’s “Introduction to cybernetics” came out [6]. 1968, Ludwig Bertalanffy published “General System theory: Foundations, Development, Applications” [7]. Bertalanaffy defined the concept of systems. Cybernetics explains complex systems that exist of a large number of interacting and interrelated parts. Wiener and Ashby pioneered the use of mathematics to study systems. This systems theory was further developed in the following years. Important contributions to the field are by Heinz Foerster, whose work focused on cybernetics, the exploration of regulatory systems, and who founded in 1958 the Biological Computer Lab (BCL) at the Department of Electrical Engineering at the University of Illinois [8]. The work of the BCL was focused on the similarities in cybernetic systems and electronics and especially biology inspired computing [9].

Other important contributions to systemics are by the Nobel-prize winning work of Ilya Prigogine on self-organization and his systems theory concepts in thermodynamics [10]. Furthermore: Mitchell Feigenbaums work on Chaos theory [11]. Contemporary application finds systems theory in bioscience in fields such as systems biology, and its practical application synthetic biology [12]. The term systems biology was created by Bertalanffy in 1928 [13]. Systems biology focuses on complex interactions in biological systems by applying a holistic perspective [12].

Altogether, this kind of thinking has led to the identification of ideas behind data processing in nature, but also in machines, such as silicon computers.

Natural Computing

This idea based thinking led to three distinct, but inter-related approaches, termed natural computing: computing inspired by nature, computer models of nature, and computing with natural materials [14] (Figure 1).

Data processing by nature

Data processing in Focusing on information flow can help us to understand better how cells and organisms work [15]. Data processing can be found in nature all down to the atomic and molecular level. Examples are DNA information storage, and the histone code [16]. Moreover, cells have the potential to compute, both intra cellular (e.g. transcription networks) and during cell to cell communication [17]. Higher order cell systems such as the immune and the endocrine system, the homeostasis system, and the nerve system can be described as computational systems. The most powerful biological computer we know is the human brain [18].

Data processing inspired by nature

General systems theory is an important fundament for computer science [1]. Interesting work has be done, as discussed above, by the Biological Computer Laboratory led by Heinz Foerster [8] [9].

In practical terms, nature inspired to programming paradigms such as cellular automata, artificial neural networks, evolutionary algorithms, evolutionary biology, genetic programming, swarm intelligence, artificial immune systems, membrane computing and amorphous computing [14] [19]. The common aim of all these concepts is solving complex problems.

Computer models of nature

The aim of the simulation and emulation of nature in computers is to test biological theories, and provide models that can be used to facilitate biological discovery. Moreover, these models can potentially be used for computer aided design of artificial biological systems.

Systems biology provides theoretical tools to model complex interactions in biological systems [12]. Design principles of biological circuits have been translated into mathematical models. These design models find their practical application in synthetic biology in general, and cellular computer especially. The different areas of natural computing clearly influence each other.

A breakthrough in the modeling and synthesis of natural patterns and structures was the recognition that nature is fractal [14]. A fractal is a group of shapes that describes irregular and fragmented patterns in nature, different from Euclidean geometric forms [20].

Other mathematical systems, as cellular automata, are both inspired by nature and can be used to modulate nature in silico, as some biological processes occur, or can be simulated, by them such as shell growth and patterns, neurons and fibroblast interaction [21] [22].

Another computational model of nature is the Lindenmayer- system (or L-system), which is used to model the growth process of plant development [23]. A major step towards the creation of artificial life was recently achieved by Karr et al [24]. This group reports a whole-cell computational model of the life cycle of the human pathogen Mycoplasma genitalium that includes all of its molecular components and their interactions. This model provides new insight into the in vivo rates of protein-DNA association and an inverse relationship between the durations of DNA replication initiation and replication. Moreover, model predictions led to experiments which identified previously undetected kinetic parameters and biological functions.

Computing with natural materials

Engineering ideas behind silicon computers can be applied to engineering with natural materials in order to gain control over biological systems. This concept started to emerge in the 1960s when Sugita published ground breaking theoretical work where he performed a functional analysis of chemical systems in vivo using a logical circuit equivalent [25] [26]. He discussed the idea of a molecular automaton, the molecular biological interpretation of the self-reproducing automata theory, and the chemico-physical interpretation of information in biological systems [27] [28]. Sugita made analogies between an enzymatic cascade and logic, values and concentrations, and interactions and circuit wires.

The emerging field of synthetic biology has contributed with novel engineering concepts for biological systems [29] [30]. The development of standardized biological parts has been a major task in synthetic biology, which led among other things to the open MIT Registry of Standard Biological Parts, and the BIOFAB DNA tool kit [30] [31] [32]. Another engineering principle, abstraction hierarchy, deals with the question of how standardized parts build a complex system. Systems (systemics) are another important engineering paradigm dealing with complexity [9] [33]. A system is a set of interacting or independent components forming an integrated whole. Common characteristics of a system are: components, behaviors and interconnectivity. Systems have a structure defined by components. Systems behavior involves input, processing and output of data. Behavior can be described with terms such as self-organizing, dynamic, static, chaotic, strange attractor, adaptive. Systems have interconnectivity. This means that the parts of the system have functional as well as structural relationships between each other. This kind of thinking represents a move form molecular to modular biology [34]. The challenge is to define the hierarchical abstraction for such a modular system for biocomputers, and finally actually build such a system.

A breakthrough paper was published in 1994 by Leonard Adleman [35]. For the first time a biocomputer, based on DNA, was built. This system was able to solve a complex, combinatorial mathematical problem, the directed Hamiltonian path problem. This problem is in principle similar to the following: Imagine you wish to visit 7 cities connected by a set of roads. How can you do this by stopping in each city only once? The solution of this problem, a directed graph was encoded in molecules of DNA. Standard protocols and enzymes were used to perform the "operations" of the computation. Other papers using DNA computing for solving mathematical problems followed [36]. Adelman’s paper basically kick started the field of biological computers (reviewed in [17] [18] [37] [38] [39]).

 

Biological parts as system components for biocomputers

A system consists of defined components. In order to build a biocomputer system, we need to identify these components and standardize them. Although important work is done in synthetic biology in respect to part standardization in general, for biocomputer parts this work is so far rudimentary. Thus, we will try in the following to identify and classify them. Such standardized biological parts suitable for computing can be found all along the line of the central dogma of biology: DNA, RNA, protein, and cells (Table 1 to 4).

DNA

The natural function of DNA is to store hereditary information and regulate the expression of this information [40]. Following the Adelman paper a wide range of DNA properties suitable for computing were explored. DNA may serve either as a principal structural component, or as a mediator that arranges tethered ligands or particles [40].

Structural properties of the DNA as the order of nucleotides, recombinational behaviors, self-assembly due to Watson-Crick base paring and storage of free energy have been used for different aspects of computational systems (see Table 1).

Nucleotide sequence: The order of nucleotides within a DNA molecule can be used to store information [41] [42] [43] [44] [45].

DNA recombination: Recombinational DNA behavior, allowed by specified classes of enzymatic activities, has been described in terms of the formal language theory, a branch of theoretical computer science [46]. The associated language consists of strings of symbols that represent the primary structures of the DNA molecules that may potentially arise from the original set of DNA molecules under the given enzymatic activities. Moreover, DNA recombination has been used to [47] solve a mathematical problem: sorting a stack of distinct objects (genetic elements) into proper order and orientation (site- specific DNA recombination) using the minimum number of manipulations [47].

Self-assembly: DNA can self-assemble through Watson-Crick base pairing to produce an arrangement of tiles (shapes) that covers the plane [48]. Computation by tiling is universal, because tiles and matching rules can be designed so that the tilings formed, correspond to a simulation of that device [49]. Thus, macroscopic self-assembly of different DNA-based tiles can be used to perform DNA-based computation. This was e.g. demonstrated by building a one- dimensional algorithmic self-assembly of DNA triple-crossover molecules that can be used to execute four steps of a logical XOR (if either input 1 or input 2 is true (1), so output true; if all input are false (0) or all input are true, so output false) operation on a string of binary bits [50]. Chemically, the value of a tile, 0 or 1, is denoted by the presence of a restriction site (eg Pvu II represents 0, false and EcoR V represents 1, true). Each molecular tile contains a reporter strand in order to extract the answer after self-assembly occurred. The answer produces a barcode display on an analytic gel. This system is static as self-assemble results into prescribed target structures.

However it is also possible to engineer transient system dynamics such as in self-assembly pathways. It has been shown that it is possible to program diverse molecular self-assembly and disassembly pathways using a 'reaction graph' abstraction to specify complementarity relationships between modular domains in a versatile DNA hairpin motif [51]. Programming of functions such as a catalytic circuit, nucleated dendritic growth, and autonomous locomotion were achieved with this approach. Moreover, even something sophisticated such as barcodes have been engineered from self-assembled DNA [52].

Free energy stored in DNA: 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. Thus it is possible to use the potential energy of a DNA input molecule to drive molecular computation [40] [53] [54].

As mentioned, another way DNA may function in biocomputers is as a mediator that arranges tethered ligands or particles [40].

Transcriptional regulatory circuits: A cell senses its environment and calculates the amount of protein it needs for it various functions. This information processing is done by transcription networks. These networks, a major study object of systems biology, often contain recurring network topologies called 'motifs' [55]. Composition and engineering concepts for these circuits have been extensively studied [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66]. Many interesting functions such as oscillators, frequency multipliers and frequency band-pass filter have been engineered [67] [68] [69] [70] [71] [72]. Transcriptional regulatory circuits can be seen as an analog to electronic circuits. Data input, data processing and data output is an abstraction found in both circuit types. Transcriptional circuits have chemicals as an input. Data processing happens as functional clusters of genes impact each other's expression through inducible transcription factors and cis-regulatory elements. The output is e.g. proteins. Diverse computational functions (see below) have been engineered through changes in circuit connectivity [73].

Transcription factors: Trigger-controlled transcription factors, which independently control gene expression, have been used as part of the processing unit in a programmable single-cell mammalian biocomputer [74]. Artificial Cys(2)-His(2) zinc finger transcription factors specifically bind different DNA sequences and thus provide components for designing of regulatory networks[75].

Combinatorial promoters: Promoters control the expression of genes in response to one or more transcription factors. Rules for programming gene expression with combinatorial promoters have been identified [76]. This opens the option to engineer a wide range of logic functions. Both Boolean and non-Boolean logic is possible as the concentration of regulators is not necessary binary. As an example, a combinatorial promoter has been engineered, which expresses an effector gene only when the combined activity of two internal input promoters is high [77].

Enzymatic machinery for DNA manipulation: Novel cleavage specificities have been designed by combining adapter oligodeoxynucleotide and enzyme moieties [78]. Moreover, functional higher-order nucleic acid complexes can be built from modular motifs such as aptamers (a DNA molecule that specifically binds a small molecule or biomolecule), aptazymes (a DNA molecule that is comprised of an aptamer domain fused to a catalytic domain) and deoxyribozymes (DNAzymes, a DNA molecule with catalytic properties) [79]. This kind of design results in highly programmable, smart complexes, which enable engineering beyond conventional genetic manipulation. In line with this, a DNA-based computational platform has been constructed that uses a library of deoxyribozymes, and their substrates, for the input-guided dynamic assembly of a universal set of logic gates and a half-adder/half-subtractor system [80].

Dynamic constructs formed by DNA: Furthermore, DNA can be used to engineer dynamic constructs such as molecular switches and oscillating molecular machines (see below).

RNA

Another promising approach for building biocomputers uses RNA molecules and RNA-based regulation [81]. RNA editing, the modification of RNA sequences, can be viewed as a computational process [37]. Moreover, RNA is involved in regulatory networks, which have been described as normal forms of logic function in the form of: input, logic gate and output [81] [82]. In many RNA based computational systems the inputs are often small RNA molecules or motifs, while the output is mRNA [81] [83] [84]. Different classes of regulatory RNA components for engineering such systems, have been identified e.g. RNA aptamer, ribozymes, riboswitches, orthogonal ribosomes, miRNA and siRNA (Table 2) [85].

Binary RNA library and ribonuclease (RNase) H digestion: The Adleman molecular computing approach has been expanded to RNA [86]. Using specific ribonuclease digestion to manipulate strands of a 10-bit binary RNA library, a molecular algorithm was developed and applied to solve a chess problem.

RNA aptamer: A RNA molecule that specifically binds a small molecule or biomolecule has been engineered to function as an input sensor in biological computing devices [87] [88].

Ribozymes: Catalytic RNA, ribozymes, can play an interesting role in biocomputing [89] [90]. In general, ribozyme activity (cleavage) in cis will repress translation, whereas activity (cleavage) in trans may repress or activate translation [85]. The hammerhead ribozyme is a small, naturally occurring ribozyme that site-specifically cleaves RNA [91]. This ribozyme can function as an actuator in a RNA computing device [88]. Input binding is translated to a change in the activity of the actuator, where a “ribozyme- active” state results in self-cleavage of the ribozyme [88]. The RNA device is coupled to the 3′ untranslated region of the target gene, where ribozyme self- cleavage inactivates the transcript and thereby lowers gene expression [88]. Different signal integration schemes act as various logic gates.

Riboswitches: Regulatory RNA elements can act by binding a small molecule, and thus switching gene expression on or off [92] [79] [93]. Ligand binding may repress or activate transcription or translation [85].

Orthogonal ribosomes: Multiple unnatural (orthogonal - O) ribosomes can be used combinatorially, in a single cell, to program Boolean logic functions [94]. O-ribosomes functioned as input, O- mRNAs as logic gate and fluorescence as output.

miRNA: Binding of microRNA (miRNA) represses translation [85]. This makes miRNA suitable to serve as sensory module to DNA-based digital logic circuits [95] [84] [96] [97].

siRNA: Small interfering RNAs (siRNA) are a class of short RNAs that stimulate post- transcriptional gene silencing through the RNA interference (RNAi) pathway in higher eukaryotes [85]. RNAi has been used to construct a synthetic gene network that implements general Boolean logic to make decisions based on endogenous molecular inputs [98] [97]. The state of an endogenous input was encoded by the presence or absence of 'mediator' small interfering RNAs (siRNAs).

Programmable DNA/RNA editing: Recently, a new kind of endonuclease has been discovered which can potentially play an interesting role in the design of biocomputers. This endonuclease is the CRISPR (Clustered regularly interspaced short palindromic repeats) associated Cas9 [99]. Cas9 forms a complex with dual- RNAs. The RNA sequence defines a site-specific DNA binding of this complex. This results dsDNA cleavage. This system has a potential for RNA-programmable genome editing. Another RNA- editing platform has been developed by using the bacterial CRISPR pathway [100]. This enables predictable programming of gene expression.

Proteins

Protein based logic systems have been generated in vitro [101]. Furthermore, recent studies have developed strategies for protein synthetic biology in vivo [102]. Proteins play both as input and output signals a crucial role in the information processing in the cell. Moreover, logic can also be implemented by the regulation of protein functions governing the production, destruction, localization, and activities of biochemical molecules [102] [103] (Table 3).

Enzymes: We have already discussed some roles of enzymes in biocomputing e.g. in DNA manipulation. Another interesting concept for engineering an in vitro protein-based logic system is based on input and output of enzymatic reactions [104] [105] [106] [107]. Different enzymes were used alone or coupled to construct different logic gates. The added substrates for the respective enzymes, act as the gate inputs, while products of the enzymatic reaction are the output signals that follow the operation of the gates.

Transactivator/transrepressor: Transcription control in mammalian cells can be enabled by logic gates [74]. It has been shown, that chimeric promoters containing operators specific for up to three different transactivators/transrepressor enable NOT and AND-type regulation profiles with three molecular intervention levels [108].

Chemically inducible dimerization (CID): In CID systems, a small molecule induces the dimerization of two different proteins, producing a ternary complex [101]. Such a system has been used to engineer a transcriptional logic device [109]. A major drawback of many engineered logic circuits is that they require minutes to hours to execute their logic functions due to the long processing time of the transcription and translation machinery [101]. Non genetic circuit devices based on CID might be able to overcome this obstacle. Such a rapid logic device has been built by Miyamoto et al [110]. Boolean logic gates were synthesized by using two chemical inputs. These gates produced output signals such as fluorescence and membrane ruffling on a timescale of seconds.

Cell to cell communication

Inter cellular signaling can be used to build logic into biological systems. An interesting aspect lies in compartmentalization of the circuit where all basic logic gates are implemented in independent single cells that can then be cultured together to perform complex logic functions [111]. Such systems are possible in a wide variety of settings. Examples are cell to cell communication in bacteria by quorum sensing and artificial neural networks (Table 4).

Quorum sensing: Quorum sensing is a system used by many species of bacteria to coordinate gene expression according to their population density. A simple genetic circuit has been combined with quorum sensing to produce more complex computations in space [112]. Biological neural networks: Biological neural networks are composed of circuits of biological neurons. This has not to be confused with the artificial neural networks we described above, which are programming constructs that mimic the properties of biological neurons. Biological neurons have been used to engineer logic gates [113] [114].

A biological microprocessor

We now move from system components to the complete biocomputer system, and define the general purpose silicon computer system as a template for biocomputers. Such a template consists of four units: the input and output device (I/O), the arithmetic logic unit, the control unit and the memory (Figure 2) [115].

The first three units collectively build the central processing unit (CPU), typically constructed on a single integrated circuit called a microprocessor. The control unit coordinates the various system components. It decodes the program instructions, and transforms them into control signals, which activate other system parts. This finally results in a change of the system state. Historically the control unit was defined as a distinct part, whereas in modern design this unit is an internal part of the CPU. Busses (often made of groups of wires) interconnect these units. Each unit contains a huge number of small electrical circuits. Switches can turn these circuits on (1) or off (0). A logic gate can perform a logic operation on one or more of such logic inputs and produce a single logic output. Thus, basic elements of any biocomputer unit are switches and logic gates.

Switches

As discussed the basic function of a switch is to produce an on or off state. Such switches have been engineered based on transcription regulation, artificial DNA, or RNA.

The DNA based type can either be based on a gene regulatory circuit or on DNA molecule properties. The toggle switch, a synthetic, bistable gene-regulatory network in Escherichia coli, belongs to the first category [116]. This toggle switch is a quite famous one, published in a landmark paper, which helped to kickstart synthetic biology. The toggle is constructed from two repressible promoters, such as that repressor 1 inhibits transcription from promoter 1 and is induced by inducer 1, whereas repressor 2 inhibits transcription from promoter 2 and is induced by inducer 2. The switch can take two stable states, if the inducers are absent: one in which promoter 1 transcribes repressor 2, and one in which promoter 2 transcribe repressor 1. The switch is flipped between these stable states by transient chemical or thermal induction of the currently active repressor. All together, the toggle switch forms an addressable cellular memory unit.

Another type of switch, called I-switch, an artificial DNA nano- device, that has cytosine-rich regions, which act as a sensor for chemical input in the form of protons and functions as a pH sensor based on fluorescence resonance energy transfer (FRET) inside living cells. [117]. The I-switch consists of three oligonucleotides, where two with single stranded overhangs are hybridized onto the adjacent third. At acid conditions these overhangs are protonated, leading to a closed conformation with high FRET. This switch was used to map spatial and temporal pH changes during endosome maturation. These experiments demonstrate the potential of DNA scaffolds responsive to triggers in living cells. These principles might be applied to switches in DNA or RNA scaffolds which assemble proteins [118].

We have already discussed one kind of RNA based switche, the riboswitche, above. Another approach is switches based on an engineered riboregulator, which enable post-transcriptional control of gene expression [119]. This riboregulator is constructed such that a small sequence, complementary to the ribosome binding site (RBS), is inserted downstream from a promoter and upstream from the RBS. After transcription a stem loop is formed at the 5‘ end of the mRNA, which blocks ribosome docking and translation. This mRNA can be targeted by another non-coding RNA and undergo a linear-loop interaction, that expose the obstructed RBS and thus activates expression. Interestingly, this kind of artificial riboregulator have been used to build a genetic switchboard that independently controls the expression of multiple genes in parallel [120].

As mentioned above, it is possible to engineer Boolean logic based on RNAi. A tunable switch has been built based on a synthetic gene network that couples repressor proteins with a design involving shRNA (Figure 3C) [121].

Although protein based switches, that do not comprise transcription factors, are not uncommon in nature, they have been so far not a major focus [18].

Logic gates



A logic gate is an elementary building block of a digital circuit. These gates can have one or two inputs, but only one output. Inputs and output are of Boolean nature, thus they can be either true (1) or false (0). Different logic operators can be applied on the input. Basic types of logic gates are: AND, OR, NOT (inverter), XOR, NAND, NOR, and XNOR [101] [18]. These operators are the basis for different truth tables (Figure 4). We get a true output from the gate for the following case: AND - both inputs are true; OR - either or both inputs are true; NOT - (has only one input) if the input is false; XOR (either/or) - either input 1 or input 2 is true; NAND - (is an AND gate followed by a NOT gate) both inputs are false, or one is true; NOR (OR followed by NOT) - both inputs false; and XNOR (XOR followed by NOT) - both inputs are true or both are false. All other cases give a false output respectively. Over a period of about two decades DNA, RNA and protein based logic gates have been engineered and classified [122] [101]. A wide range of core machinery and inducers has been developed.

DNA based logic gates: One strategy for engineering a logic gate in vivo is to build a core machinery, based on gene expression regulation [123] [124] [125] [126] [127] [128] [129]. One such system had two inputs such as beta-D-thiogalactopyranoside and anhydrotetracycline (aTC) and a fluorescent protein as output [73]. In order to build such a logic system, a network plasmid was generated composed of a set of three transcription factor encoding genes (LacI, TetR, and lambda cI) and their corresponding promoters. The binding state of LacI and TetR can be changed with the input molecules. Moreover, the system consists of five additional promoters which can be regulated by the three transcription factors. Two of the promoters are repressed by LacI, one is repressed by TetR, and the remaining two are respectively positively or negatively regulated by lambda cI. Altogether, this results in 125 possible networks. Various GFP expressing systems can be formed using a combination of various promoters, input molecules and host strains e.g. E.coli. In such manner functional networks were formed with logic operations such as NOR, NOT, and NAND.

Another option to build a core machinery both in vivo and in vitro is by using DNA aptamers [130] [131]. Yoshida et al built an AND gate by fusing an adenosine-binding DNA aptamer and a thrombin-binding DNA aptamer [130]. Each aptamer binds to partially complementary fluorescence quencher-modified nucleotides, QDNA1 and 2 respectively. When the two inputs adenosine and thrombin are bound both QDNAs are released from the aptamers leading to increased fluorescence intensity. Other input combinations (0 + 0, 0 +1, and 1 +0), lead to the presence of zero or one QDNA and a weaker fluorescence. Similar, an OR gate can be created, if the positions of the fluorophore and QDNA are modified. Another study built an aptamer based nanorobot, which has an open and closed conformation [131]. DNA aptamer–based lock mechanism opens in response to binding of antigen keys. This lock functions as an AND gate, where the aptamer-antigen activation state serves as input, and the nanorobot conformation as output.

Hybridization can serve as another in vitro option for engineering a core machinery feasible for functioning in a logic based network [95] [132]. A two input logic gate of type AND, OR or NOT were constructed by using a branch-migration scheme with a mechanism built on strand recognition and strand replacement. Single stranded nucleic acids are input and output of such a scheme. The gate function is created by sequential base pairing triggered by toehold−toehold binding between single strands and subsequent breaks.

Moreover, in vitro deoxyribozyme-based (DNAzymes) logic gates have been engineered [127] [128] [133]. In order to engineer an AND gate, two different oligonucleotide inputs were hybridized with corresponding controlling elements [127]. This led to the cleavage of the substrate in the presence of both inputs and subsequent conformational change of controlling elements. A NOT and XOR gate was constructed in a similar fashion (Figure 4B).

Recently, a novel in vivo system, called transcriptor, has been used to build permanent amplifying AND, NAND, OR, XOR, NOR, and XNOR gates to control transcription rates (Figure 4A) [134].

RNA based logic gates: The other major class of logic gates is RNA-based. The core machine can be based on RNA aptamer, a riboswitch, ribozymes, hybridization, amber suppressor tRNA, or an orthogonal ribosome [101].

Culler et al demonstrated in vivo that it is possible to engineer an AND gate based on a β-catenin binding RNA aptamer [135]. This aptamer was inserted into the intron position, between a protein- coding exon and an alternatively spliced exon (Ex) containing a stop codon, followed by another intron, the next protein-coding exon and the herpes simplex virus- thymidine kinase (HSV-TK) gene whose product, in turn, is an activator of ganciclovir (GCV). Binding of β- catenin with the RNA aptamer led to mature mRNA which lacked Ex. This led to the expression of HSV-TK. If the alternatively spliced exon was not excluded from the mature mRNA, an early translation termination occurred. This resulted in the synthesis of a nonfunctional peptide. For the induction of apoptosis as output, both expression of HSV-TK and the presence of GCV are required. Another study from the same lab demonstrated the building of AND, NOR, NAND, or OR gates based on RNA aptamer as a core machine (Figure 4C) [88].

We already discussed a simple riboswitch as a structure suitable to build logic. Sudarsan et al. reported a tandem riboswitch core machinery in vivo that facilitate more sophisticated control [136]. They discovered in the 5' untranslated region of Bacillus clausii metE RNA two naturally occurring riboswitches. Both riboswitches bind independently to two different metabolites, one to S- adenosylmethionine (SAM) and the other to coenzyme B12 (AdoCbl). This binding induced the transcription termination of gene of interest through cis-acting corresponding riboswitches. Only in the absence of both inputs (not SAM and not AdoCbl) we get the full length transcript as output. All together this system functions as a two-input Boolean NOR logic gate.

Logic gates have been engineered with ribozymes as core machinery both in vivo and in vitro [137] [138]. An AND is built when simultaneous hybridization of two oligonucleotide inputs with the ribozyme lead to its activation [137]. Chen et al engineered a YES gate (if input 0 so output 0; if input 1 so output 1) in a system based on a ribozyme, which was inserted into the 3′-UTR of a target transgene [138]. The ribozyme was inactivated in the presence of theophylline, allowing the target transgene to be expressed.

Alternatively a logic gate can be based in vivo on hybridization, with siRNA or miRNA as input [98] [97]. An AND like logic function has been built by using two groups of miRNAs as input and the hBAX protein as output [97]. The miRNAs act as a repressor of activators and repressors in the gate.

Amber suppressor tRNA can be used in vivo as the core machinery for a logic gate [139] [140]. This kind of tRNA identifies the “amber” stop codon (UAG), inserts an amino acid, and do not terminate translation. Anderson et al. utilized an amber suppressor tRNA (SupD) to engineer a two input AND gate [140]. One input is a salicylate responsive promoter, which is linked to the transcription of the amber suppressor tRNA supD. The other input is a arabinose responsive promoter, that regulates the transcription of T7 RNA polymerase. T7 has been mutated to contain two amber stop codons and thus requiring SupD expression for a fully functional T7, which is connected to the expression of green fluorescent protein as an output.

Furthermore, an AND gate has been engineered in vivo using an orthogonal (unnatural) ribosome / mRNA pair [94]. The inputs in this system are two orthogonal rRNAs, which limit the translation of two respective mRNAs. These mRNAs encode two fragments of beta-galactosidase, which’s activity is the output of the system.

Protein based logic gates: The third class are protein based logic gates, where a transactivator, an enzyme, chemically inducible dimerization (CID), a T7 RNA polymerase or a zink finger transcription factor can act as core machinery in a logic gate [101] [141].

Transactivator: Various logical gates have been engineered in vivo based on chemically inducible transactivator-based gene circuits [108] [74]. This conception was used by Ausländer et al. to construct several logic gates and combination of them, such as NOT, AND, NAND andN-IMPLY(if a=0andb=1,sooutput=1;elseoutput=0) [74]. Such a N-IMPLY gate was engineered by combining an erythromycin-dependent transactivator and an apple metabolite phloretin-dependent transactivator. The output, fluorescent d2EYFP, was only visible by fluorescent microscopy or FACS analysis in the presence of erythromycin and absence phloretin.

Enzyme based logic gates, such as XOR, N-IMPLY, AND, OR, NOR, NOT, and YES (one input; if input =1, output =1; else output = 0), have been constructed for in vitro systems with a wide variety of inputs, such as glucose, H2O2, NADH, acetaldehyde, starch, phosphate, NAD+, acetylcholine, butyrylcholine, O2 [101] [104] [105] [106] [142]. Baron et al. constructed eg a two input AND gate [104]. Both H2O2 and glucose are in this case necessary input in order to activate the catalytic chain with gluconic acid as output.

 

Another option for building Boolean logic in vivo is based on a CID system [109] [110]. Bronson et al. utilized a CIT system to engineer a two input AND gate [109]. Dexamethasone– methotrexate input induced the dimerization of an activation domain, B42- glucocorticoid receptor chimera (B42-GR), and a DNA-binding domain, LexA-dihydrofolate reductase chimera (LexA-DHFR). Both B42-GR and LexA-DHFR expression is placed under the control of the GAL1 promoter. Thus galactose is required as second input in the system in order to form the ternary complex. This complex induces, as output of the system, acts as a transcriptional activator and stimulates the transcription of the output, a lacZ reporter gene.

Recently Shis et al. published another interesting option to build an AND gate [141]. A functional T7 RNA polymerase can be built from two fragments, whereas the larger T7 RNA polymerase fragment is encoded by a gene that responds to arabinose and the smaller fragment by a gene that responds to lactose. T7 RNA polymerase will be functional active in the presence of both inputs, arabinose and lactose.

OR, NOR, AND and NAND logic has been based on artificial Cys2– His2 zink finger (ZF) transcription factors as computing elements [75]. Input signals led to expression of corresponding ZF- based transcription factors, which acted on response promoters. An OR gate was constructed, which contained target sites for two different ZF activators [75]. BCR_ABL-1:GCN4 and erbB2:Jun activators were used as ZF-1 and ZF-2, respectively. AmCyan fluorescent protein output, measured by flow cytometry, was observed, when either or both inputs were present.

Cell to cell communication based logic gates: Logic systems built on gene expression regulation can be expanded to multicellular engineered networks [112] [143]. Different logic gates were carried in one study by different strains of E.coli, which communicate by quorum sensing (see above) (Figure 4D) [112]. Input was aTC or arabinose. Colonies containing different gates were wired together via quorum molecules. Different combinations of colonies containing specific simple logic gates resulted in the construction of 16 two- input Boolean logic gates. Different combinations of 2 input molecules such as NaCL, galactose, 17 beta-estradiol, doxycycline, galactose, or glucose were used in another study which builds a multicellular network based on gene expression regulation [143].

Finally, one might ask how many gates can be interconnected with the present technology in a circuit. A study by Privman et al. tried to determine this maximum number under optimal noise reduced conditions [144]. They concluded that under such conditions, logic gates can be concatenated for up to order 10 processing steps. Beyond that, it will be necessary to engineer novel systems for avoiding noise buildup.

Input and output (I/O) device

A biomolecular I/O device is basically an engineered set of chemical reactions with input and output molecules with distinct concentrations, formalized as e.g for the case of a two input device: [input molecule 1] + [input molecule 2] <-> [output molecule] (Figure 3A).

In order to act in a digital manner, the concentrations need to be defined as distinguishable high or low, which can be translated to Boolean logic (low as 0 or of, and high as 1 or on) (Figure 3B). As we already discussed above, a variety of interesting devices have been constructed (Figure 3C) [79] [92] [93] [116] [117] [119] [120][121][137]. However, reaction kinetics and dynamics are often difficult to predict as values in a living cell are often continuous, can variate to a certain degree, are away from a steady state, and can be difficult to quantitate [18]. Thus, to facilitate Boolean logic, thresholds of inputs and outputs must be well defined, which can be difficult to achieve in biological systems [18]. Depending on the kind of system this can this be concentrations, localization of biomolecules or enzyme activity [101]. A linear system can contribute to minimize retroactive effects; as such a system allows applying well defined control theory. Oishi et al tried to address these kinds of problems and tried to identify design principles for an ideal linear I/O system [145]. Their implementation of such an I/O systems was based on idealized chemical reactions, and on enzyme-free, entropy-driven DNA reactions.

Arithmetic Logic Unit

The arithmetic logic unit performs two classes of operations: arithmetic and logic. Both have been engineered in biological systems.

Biological computers have shown t no be able to execute simple arithmetic such as addition and subtraction, as Ausländer et al have demonstrated by a combinatorial assembly of chemically inducible transactivator-based logic gates [74]. Moreover, it has been shown that more complex arithmetic is achievable. A combination of several DNA hybridization based logic gates make it e.g. possible to calculate the integer part of a square root of a four-bit binary number [132] [146].

Logic can be built, as discussed by means of logic gates (Figure 4).

The ability of biocomputers to solve logic problems beyond the Hamiltonian path problem have been demonstrated by the implementation of several logic requiring games [35] [147] [133] [47] [86]. A molecular automaton was engineered, which was able to play a game which covers all possible responses to two consecutive sets of four inputs [147]. Moreover, a deoxyribozyme-based automation is able to play a complete game of tic-tac-toe [133]. A device based on DNA recombination was able to solve a sorting problem, where a stack of distinct objects needed to be placed into a certain order and orientation using a minimal number of manipulations [47]. A molecular algorithm based on ribonuclease digestion to manipulate strands of a 10-bit binary RNA library has been used to address the so called "Knight problem" which asks what configurations of knights in a chess game can one place on a 3 x 3 chess board such that no knight is attacking any other knight on the board [86]. Moreover, DNA hybridization based logic has been used to implement simple logic programs [148]. This logic system consisted of molecular representations of facts such as Man(Socrates) and rules such as Mortal(X) <-- Man(X) (Every Man is Mortal). The system was able to answer molecular queries such as Mortal(Socrates)? (Is Socrates Mortal?) and Mortal(X)? (Who is Mortal?).

Control unit/Central processing unit

A state machine is a theoretic mathematical model, which helps to understand what is going on in the central processing unit of a computer, and which can be experimentally implemented (Figure 5A) [18] [149] [150].

State is defined as all the stored information, at a given point in time, to which the circuit or program has access. The output of a circuit or program is determined by its input and states. The simplest form of such a state machine is called finite state machine (or finite state automata). In simple terms, this machine contains a tape with symbols a and b. The tape can move in one direction and the machine can read the symbol on the tape. The machine changes its state due to the letter it reads. A string transducer is a state machine that also can write symbols and a Turing machine can in addition move from left to right [151].

State machines have been engineered with biomolecules [152] [153] [154] [40] [155] [156] [157] [158]. Hagiya et al. built in 1997 the first state to state transition system by guiding DNA polymerase based DNA extension by a template strand with a transition rule sequence [152] [153]. The present state is encoded by the 3’-end sequence of a single-stranded DNA molecule. The template strand (rule) enclosed a binding site for the 3-end of the DNA molecule and the extension template. State transition occurred, if the current state is annealed onto an appropriate portion of DNA encoding the transition rules and the next state was copied to the 3’- end by extension with polymerase. The extension template represents the new state.

The first experimental implementation of a finite state machine, comprising DNA and DNA-manipulating enzymes, was published by Benenson et al. in 2001 (Figure 5B) [154] [18]. Similar to the concept developed by Benenson et al. several finite state machine were later developed in which the transitions were executed by autonomous biochemical steps based on DNA sticky end recognition, ligation and digestion [40] [156]. This system was expanded by Adar et al. to allow stochastic computing. The core of this form of computing is the choice between alternative computing paths (biochemical pathways), each with a prescribed probability, which were programmed by the relative molar concentrations of the software molecules coding for the alternatives [155]. Another finite state machine based on DNA aptamer generated different configurations (outputs) in response to a set of two different groups’ chemical inputs [157]. Moreover, by using molecular finite state machines simultaneously with fluorochrome labeled DNA it was possible to distinguish between two distinct images encrypted onto a DNA chip [158].

Memory

DNA’s biological role is to encode huge amounts of data, theoretically up to two bits per nucleotide or 455 exabytes per gram of ssDNA [43]. It has been recently shown, that it is possible to encode arbitrary digital information in DNA, e.g. an html-coded draft of a book that included 53,426 words, 11 JPG images and 1 JavaScript program into a 5.27 megabit bitstream [43]. The oligonucleotides library was engineered by utilizing next-generation DNA synthesis techniques. In order to read the encoded book, the library was amplified by PCR and subsequent sequenced. A similar study encoded computer files totalling 739 kilobytes into a DNA code [44].

Another important feature of DNA is the relatively permanence of the storage. Even after the cells die, one might be able to recover information from the DNA. These storage abilities make DNA suitable as core machinery for engineered memory devices.

Several biological storage devices have been engineered [41] [42] [45] [159]. Some feedback motifs in natural systems exhibit memory such as mutual inhibition and auto regulatory positive feedback [41]. One synthetic example is a modular memory device that has been built in vivo, based on a transcriptionally controlled network, containing such an auto regulatory positive feedback (Figure 6A) [41].

Another study engineered an integrated logic and memory device, where the memory raised from the ability of recombinases to ‘write’ information in DNA [45].

One of the major goals in the field of biocomputing is to engineer in vivo a general form of state machine. This requires the ability to erase a symbol from the band of the machine and write a new symbol, thus to reversibly write information. Bonnet et al. built in vivo a rewritable recombinase addressable data module that stored data within a DNA sequence (Figure 6B) [42].

Busses -wires

Wires in silicon microprocessors are made from solid state metals, whereas wires in biocomputers, in the systems engineered so far, consist of signaling molecules, such as regulatory proteins. This has been theoretically proposed by Sugita, as we have already discussed, and later executed in many systems. The quorum sensing system we mentioned above is one of many examples [112]. In this concrete case are the quorum sensing molecules are used as wires between different logic gates (Figure 4D).

Potential applications of biological computers

Biological computers possess some distinct advantages over silicon computers [17] [18] [39]. These systems can self-assemble and self- reproduce, which might provide some economic advantages. Moreover, cells can be engineered to sense and respond to environmental signals, even under extreme conditions such as high temperature, high pressure, radioactivity or toxic chemicals. Biological systems have the ability to adapt to new information from a changed environment.

The ultimate goals of biocomputing are the monitoring and control of biological systems [18].

Monitoring of biological systems

Biological systems need to be monitored in respect to disease diagnostic, to drug screening, to understand experimental systems, and to observe the environment [18].

In line with this, a biocomputer has been utilized to detect multiple disease indicators, such as mRNA of disease-related genes associated with small-cell lung cancer and prostate cancer [160] [161]. Moreover, they can be used in experimental models, such as conditional transgenes or inducible expression systems [162]. Environmental monitoring is another interesting application. A cell based biosensor using logic gates has been used to detect arsenic, mercury and copper ion levels [163].

Control of biological systems

Biocomputers can potentially be used to control development, cell differentiation and re-programming, as all these processes depend on gene regulatory networks [18] [164]. Another application area is tissue engineering and tissue regeneration [165]. Metabolic engineering has the potential to produce from simple, inexpensive starting materials a large number of chemicals that are currently derived from nonrenewable resources or limited natural resources [166]. The metabolic flux can potentially be controlled by a biocomputer [120]. Interesting might also be to control the immune system by a biocomputer, e.g. in transplantation medicine [167]. An important application area is the control of malign growth. Some interesting experiments with logic based biological devices have been executed to detect cancer cells (e.g. small-cell lung cancer, prostate cancer, HeLa cells), and to induce selective apoptosis of these cells [77] [97] [160]. Furthermore, biocomputers can be used to engineer context-dependent programmable drugs [161] [125]. A biocomputer with a context-sensing mechanism, which can simultaneously sense different types of molecules, has been engineered [161]. In the future it might be used to detect a broad range of molecular disease symptoms, and react with the release of a drug molecule suitable for the treatment of the specific condition. In line with this concept a programmable NOR-based device has been developed capable of differentiating between prokaryotic cell strains based on their unique expression profile [125].

Summary and outlook

Two decades have passed since the landmark paper of Adelman [35]. A major game changer has been the advance of synthetic biology, with novel concepts for bioengineering strongly based on systems theory. This led to trials for identifying, characterizing and standardizing biological parts useful for a general purpose computer. Major advances have been made in areas such as engineering of switches and logic gates, letting the dream of engineering a general Turing machine come close to reality. This dream is finally about our human superiority and rule over nature, making biocomputers one of the really exiting challenges in contemporary science, both in respect to engineering and ethics. We still face a couple of challenges before we will see biocomputers in our daily environment.

Novel concepts for Turing machines have been suggested, such as a

deoxyribozyme based molecular walker, as this kind of machines have the ability to read and transform secondary cues [168]. However, the general Turing machine requires the ability of erasing and writing of symbols. Recently, major advantages have been made in respect to genome wide codon replacement in vivo by applying multiplex automated genome engineering technology [169]. This technology provides novel opportunities to implement a general Turing paradigm.

On this road we need to clarify whether the digital paradigm is in fact the best approach to molecular computing. As we have seen, the values of biological signals are typically analog, we need to explore, if analog computing might be an alternative road to explore. In any case, we need to engineer signals, both as input and output with well- defined stable concentrations, thus do not fluctuate, and stable circuits [170] [171] [172] [107]. If we wish to use Boolean logic we need to be able to group signals in low expressed and high expressed. The engineering design of the logic gate based on the transcriptor, as we discussed above, mark the advances that have been made towards digitalization of signals and the engineering of clearcut thresholds [134].

Moreover, the engineering of standardized reusable modules has been a major objective of synthetic biology. Signals are physically separated in microelectronics, contributing to standardization. Many biological devices, engineered so far, lack this signal separation, thus limiting the engineering of standardized, reusable modules [173]. Limitations towards this goal are due to circuit unpredictability, incompatible parts or random fluctuations. Moreover, wiring multiple logic gates is often difficult to implement reliably within mono cellular systems, as connections need to be implemented by a different molecule. One could potentially avoid this by using multiple cells in biological computer following the distributed computing paradigm of silicon computer, where a distributed system consists of multiple computers that communicate through a computer network [112] [143]. These multi cellular systems, as we discussed above, allows the output signal to be distributed among different cell types, which can be combined in multiple, reusable and scalable ways. Regot et al. demonstrated in yeast that these systems can reduces wiring constraints, which allowed the building of more complex synthetic devices, as they were able to implement many logic functions by using just a few engineered cells. [143]. In any case, we are still far from a general purpose computer, as also these kinds of systems will still be engineered with specific functions in mind.

Another area of focus might be processing speed, in general a critical factor for all forms of computation. Systems running on biological gates are relatively slow compared with silicon computers. The activation time both of biological logic devices systems ranges from seconds, as the CID system, to days as some transactivators and RNA aptamer [101]. In between do we have cell free logic devices which act in a time scale of minutes (protein enzyme, ribozyme) to hours (e.g. deoxyribozyme and branch migration). The cell based logic devices mainly have a typical activation time in the range of hours (e.g. miRNA, network plasmids, riboswitch, RNA aptamer, ribozyme, assembled RNA, intercellular networks, amber suppressor tRNA). The invention of other very rapid acting systems such as the CID system might be desirable. One might be able to take advantage of the fact that many cellular functions happen in parallel. Thus parallel computing paradigm might provide an interesting engineering paradigm. Moreover, optimization of individual components will increase processing speed [174].

Silicon computers have been a fruitful inspiration for the engineering of computing systems from biological materials. These engineered biological computers have some advantages over the silicon counterpart, as they can potentially self-organize and self-replicate. This has the potential to reduce engineering costs and efforts. However, the overall capabilities of today’s artificial engineered biological computers are still premature in many aspects in comparison to the silicon based one. We have already discussed some of the technical reasons behind this, such as the limitations for building complex systems. We have seen, that today’s logic gates can only be concentrated for up to order 10 processing steps [144]. We have discussed the problems of long processing time. The logic problems solved so far by biological computers are impressive, but also demonstrate the inferiority of such systems in comparison with their silicon counterparts, as they are still of relatively simple nature [35] [47] [86] [133] [147]. These problems are both due to the novelty of the field, but also, as we have seen, to system specific properties of the biological matter. As discussed, biochemical reactions have by nature often long reaction times [174]. The input and output signals are of analog and not digital nature [18]. Biochemical reactions are often in solution and not in all cases compartmentalized, which results, as discussed, in the lack of signal separation [173]. Novel compartmentalization concepts, organizing signal transduction by eg binding mediators to a scaffold, might further contribute to signal separation [118]. Although some solutions have been discussed above, these kinds of inert material properties might define the natural limitations for the engineering of biological computers. One might consider, a change in the computing paradigm applied, in order to engineer more in coherence with these material properties. The analog computer paradigm, which uses continuous values, might be interesting in this respect. Daniel et al have recently published a paper exploring analog computing in living cells [175]. They demonstrate that synthetic analog gene circuits can be engineered to execute sophistical computational functions in living cells. Moreover, further improvement might be possible to advancements in biological engineering. Standardized parts are, as discussed, the fundament, further engineering can build on [30] [31] [32]. Much of the work necessary is in line with standard quality insurance in biological experiments such as system stability and consistency under different conditions, system quantification, and identification of system imperfections [18]. Examples of such experimental problems are: systems might be unstable due to transient transfections. Moreover, cell populations might be not homogenous due to heterogeneity of gene copies, rate constants and stochastic effects. Furthermore, system measurements are potentially difficult in respect to measuring intracellular input levels. Once experimental advances are made towards standardized and well defined parts, one of the major next engineering steps will be to combine the different units of the biological microprocessor to one complex system. A challenge will be the spatial organization of such a complex system. Novel artificial scaffold systems might be necessary to develop for this purpose. Efficient manufacture methods might also be required. The emerging field of 3-D printing might provide novel ways for system engineering. Further advancements in engineering of biological control units might be necessary for powerful integrated systems. Altogether, this will push biological systems closer to the level of complexity and problem solving power of silicon computers. Such an integrated system will have much more computing power and advances the problem solving capability. Evidence for the potential of the potential computing power of a biological system is provided by the capabilities of nature’s most powerful biological computer, the human brain.

Novel areas for development are on the horizon. Hybrids of electronic semiconductor and biological machines might be interesting to explore; playing on the initial discussed feedback loop between biology inspired engineering and engineering inspired biology [176] [177]. Some interesting research is going on in this area both in academic labs and in industry. Several promising biocomposites have been developed, such as cells treated with silicic acid; DNA as a mediator that arranges fullerenes, golden particles and DNA- templated nanowire formation; and DNA metamaterials and hydrogels with memory [178] [179] [180] [181] [182] [183]. Another interesting device under development is IBM’s DNA transistor [184]. This system controls DNA translocation through the nanopore. It is composed of a metal/dielectric/metal/dielectric/metal multilayer nano-structure built into the membrane that contains the nanopore. The function of this system is based on the interaction of discrete charges along the backbone of a DNA molecule with the modulated electric field to trap DNA in the nanopore with single-base resolution. DNA might be moved through the nanopore at a rate of one nucleotide per cycle. This could lead among other to a nanopore- based reading device.

Finally, as the young field of synthetic biology and systems biology most likely will further advance in the years to come, so will biocomputing. A biological microprocessor, an implication of a general Turing machine is on the horizon.

power of a biological system is provided by the capabilities of nature’s most powerful biological computer, the human brain.

Novel areas for development are on the horizon. Hybrids of electronic semiconductor and biological machines might be interesting to explore; playing on the initial discussed feedback loop between biology inspired engineering and engineering inspired biology [176] [177]. Some interesting research is going on in this area both in academic labs and in industry. Several promising biocomposites have been developed, such as cells treated with silicic acid; DNA as a mediator that arranges fullerenes, golden particles and DNA- templated nanowire formation; and DNA metamaterials and hydrogels with memory [178] [179] [180] [181] [182] [183]. Another interesting device under development is IBM’s DNA transistor [184]. This system controls DNA translocation through the nanopore. It is composed of a metal/dielectric/metal/dielectric/metal multilayer nano-structure built into the membrane that contains the nanopore. The function of this system is based on the interaction of discrete charges along the backbone of a DNA molecule with the modulated electric field to trap DNA in the nanopore with single-base resolution. DNA might be moved through the nanopore at a rate of one nucleotide per cycle. This could lead among other to a nanopore- based reading device.

Finally, as the young field of synthetic biology and systems biology most likely will further advance in the years to come, so will biocomputing. A biological microprocessor, an implication of a general Turing machine is on the horizon.

References

 

1. Wiener N (1948) Cybernetics: Or Control and Communication in the Animal and the Machine. . Cambridge, Massachusetts: MIT Press.
2. Stigen A (1992) Tenkningens historie. Oslo, Norway: Gyldendal Norsk Forlag.
3. Wormnæs O (1993) Vitenskapsfilosofi. Oslo, Norway: Ad Notam Gyldendal.
4. Plato (1892) The dialogues of Plato (Volume 4) Parmenides. Theaetetus. Sophist. Statesman. Philebus, tranlated by B. Jowett. New York: Oxford University Press, American branch.
5. Kant I (1914) The Critique of Judgement, translated with Introduction and Notes by J.H. Bernard. London: Macmillan.
6. Ashby WR (1956) Introduction to Cybernetics. London: Chapman & Hall.
7. Bertalanffy L (1968) General System theory: Foundations, Development, Applications. New York: George Braziller.
8. Muller A, K. M (2007) An Unfinished Revolution?: Heinz von Foerster and the Biological Computer Laboratory / BCL 1958-1976. Vienna Edition Echoraum.
9. Foerster H, Ashby WR (1964) Biological Computers. In: Schaefer KE, editor. Bioastronautics. New York: The Macmillan Co. pp. 333- 360.
10. Prigogine I, Nicolis G (1977) Self-Organization in Nonequilibrium Systems: From Dissipative Structures to Order through Fluctuations. New York: John Wiley & Sons.
PMCid:431895
11. Feigenbaum M (1978) Quantitative universality for a class of nonlinear transformations. Journal of Statistical Physics 19: 25-52.
http://dx.doi.org/10.1007/BF01020332
12. Alon U (2007) An introduction to sytems biology. Design principles of biological circuits. Boca Raton, FL: Chapman & Hall/CRC.
13. Bertalanffy L (1928) Kritische Theorie der Formbildung. Berlin: Gebrüder Borntraeger
14. Decastro L (2007) Fundamentals of natural computing: an overview. Physics of Life Reviews 4: 1-36.
http://dx.doi.org/10.1016/j.plrev.2006.10.002
15. Nurse P (2008) Life, logic and information. Nature 454: 424-426.
http://dx.doi.org/10.1038/454424a
PMid:18650911
16. Jenuwein T, Allis CD (2001) Translating the histone code. Science 293: 1074-1080.
http://dx.doi.org/10.1126/science.1063127
PMid:11498575
17. Tan C, Song H, Niemi J, You L (2007) A synthetic biology challenge: making cells compute. Mol Biosyst 3: 343-353.
http://dx.doi.org/10.1039/b618473c
PMid:17460793
18. Benenson Y (2012) Biomolecular computing systems: principles, progress and potential. Nat Rev Genet 13: 455-468.
http://dx.doi.org/10.1038/nrg3197
PMid:22688678
19. Paun G, Perez-Jimenez MJ (2006) Membrane computing: brief introduction, recent results and applications. Biosystems 85: 11-22.
http://dx.doi.org/10.1016/j.biosystems.2006.02.001
PMid:16650521
20. Mandelbrot B (1983) The fractal geometry of nature. San Francisco: WH Freeman and Company.
21. Ilachinski A (2001) Cellular Automata: A Discrete Universe. Singapore: World Scientific Pub Co Inc.
22. Wolfram S (2002) A new Kind of Science. Champaign, IL Wolfram Media, Inc.
23. Rozenberg G, Arto Salomaa A (1980) The mathematical theory of L systems. New York: Academic Press.
24. Karr JR, Sanghvi JC, Macklin DN, Gutschow MV, Jacobs JM, et al. (2012) A whole-cell computational model predicts phenotype from genotype. Cell 150: 389-401.
http://dx.doi.org/10.1016/j.cell.2012.05.044
PMid:22817898
25. Sugita M (1961) Functional analysis of chemical systems in vivo using a logical circuit equivalent. J Theor Biol 1: 415-430.
PMid:13918223
26. Sugita M, Fukuda N (1963) Functional analysis of chemical systems in vivo using a logical circuit equivalent. 3. Analysis using a digital circuit combined with an analogue computer. J Theor Biol 5: 412-425.
http://dx.doi.org/10.1016/0022-5193(63)90087-0
27. Sugita M (1963) Functional analysis of chemical systems in vivo using a logical circuit equivalent. II. The idea of a molecular automation. J Theor Biol 4: 179-192.
http://dx.doi.org/10.1016/0022-5193(63)90027-4
28. Sugita M (1975) Functional analysis of chemical systems in vivo using a logical circuit equivalent. V. Molecular biological interpretation of the self-reproducing automata theory and chemico-physical interpretation of information in biological systems. J Theor Biol 53: 223-237.
http://dx.doi.org/10.1016/0022-5193(75)90113-7
29. Baker D, Church G, Collins J, Endy D, et al. (2006) Engineering life: building a fab for biology. Sci Am 294: 44-51.
http://dx.doi.org/10.1038/scientificamerican0606-44
PMid:16711359
30. Endy D (2005) Foundations for engineering biology. Nature 438: 449-453.
http://dx.doi.org/10.1038/nature04342
PMid:16306983
31. MIT Registry of Standard Biological Parts http://partsregistry.org.
32. International Open Facility Advancing Biotechnology (BIOFAB) http://www.biofab.org.
33. Interview with Heinz Foerster http://www.youtube.com/watch?v=PcPtl-vuGbI.
34. Hartwell LH, Hopfield JJ, Leibler S, Murray AW (1999) From molecular to modular cell biology. Nature 402: C47-52.
http://dx.doi.org/10.1038/35011540
PMid:10591225
35. Adleman LM (1994) Molecular computation of solutions to combinatorial problems. Science 266: 1021-1024.
http://dx.doi.org/10.1126/science.7973651
PMid:7973651
36. Lipton RJ (1995) DNA solution of hard computational problems. Science 268: 542-545.
http://dx.doi.org/10.1126/science.7725098
PMid:7725098
37. Landweber LF, Kari L (1999) The evolution of cellular computing: nature's solution to a computational problem. Biosystems 52: 3-13.
http://dx.doi.org/10.1016/S0303-2647(99)00027-1
38. Voigt CA, Keasling JD (2005) Programming cellular function. Nat Chem Biol 1: 304-307.
http://dx.doi.org/10.1038/nchembio1105-304
PMid:16408063
39. Benenson Y (2009) Biocomputers: from test tubes to live cells. Mol Biosyst 5: 675-685.
http://dx.doi.org/10.1039/b902484k
PMid:19562106 PMCid:2714485
40. Benenson Y, Adar R, Paz-Elizur T, Livneh Z, Shapiro E (2003) DNA molecule provides a computing machine with both data and fuel. Proc Natl Acad Sci U S A 100: 2191-2196.
http://dx.doi.org/10.1073/pnas.0535624100
PMid:12601148 PMCid:151317
41. Ajo-Franklin CM, Drubin DA, Eskin JA, Gee EP, Landgraf D, et al. (2007) Rational design of memory in eukaryotic cells. Genes Dev 21: 2271-2276.
http://dx.doi.org/10.1101/gad.1586107
PMid:17875664 PMCid:1973140
42. Bonnet J, Subsoontorn P, Endy D (2012) Rewritable digital data storage in live cells via engineered control of recombination directionality. Proc Natl Acad Sci U S A 109: 8884-8889.
http://dx.doi.org/10.1073/pnas.1202344109
PMid:22615351 PMCid:3384180
43. Church GM, Gao Y, Kosuri S (2012) Next-Generation Digital Information Storage in DNA. Science 337: 1628.
http://dx.doi.org/10.1126/science.1226355
PMid:22903519
44. Goldman N, Bertone P, Chen S, Dessimoz C, LeProust EM, et al. (2013) Towards practical, high-capacity, low-maintenance information storage in synthesized DNA. Nature 494: 77-80.
http://dx.doi.org/10.1038/nature11875
PMid:23354052
45. Siuti P, Yazbek J, Lu TK (2013) Synthetic circuits integrating logic and memory in living cells. Nat Biotechnol.
http://dx.doi.org/10.1038/nbt.2510
PMid:23396014
46. Head T (1987) Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bull Math Biol 49: 737-759.
PMid:2832024
47. Haynes KA, Broderick ML, Brown AD, Butner TL, Dickson JO, et al. (2008) Engineering bacteria to solve the Burnt Pancake Problem. J Biol Eng 2: 8.
http://dx.doi.org/10.1186/1754-1611-2-8
PMid:18492232 PMCid:2427008
48. Wei B, Dai M, Yin P (2012) Complex shapes self-assembled from single-stranded DNA tiles. Nature 485: 623-626.
http://dx.doi.org/10.1038/nature11075
PMid:22660323
49. Rothemund PW (2000) Using lateral capillary forces to compute by self-assembly. Proc Natl Acad Sci U S A 97: 984-989.
http://dx.doi.org/10.1073/pnas.97.3.984
PMid:10655471 PMCid:15495
50. Mao C, LaBean TH, Relf JH, Seeman NC (2000) Logical computation using algorithmic self-assembly of DNA triple-crossover molecules. Nature 407: 493-496.
http://dx.doi.org/10.1038/35035038
PMid:11028996
51. Yin P, Choi HM, Calvert CR, Pierce NA (2008) Programming biomolecular self-assembly pathways. Nature 451: 318-322.
http://dx.doi.org/10.1038/nature06451
PMid:18202654
52. Lin C, Jungmann R, Leifer AM, Li C, Levner D, et al. (2012) Submicrometre geometrically encoded fluorescent barcodes self-assembled from DNA. Nat Chem 4: 832-839.
http://dx.doi.org/10.1038/nchem.1451
PMid:23000997 PMCid:3523708
53. Yurke B, Turberfield AJ, Mills AP, Jr., Simmel FC, Neumann JL (2000) A DNA-fuelled molecular machine made of DNA. Nature 406: 605-608.
http://dx.doi.org/10.1038/35020524
PMid:10949296
54. Zhang DY, Turberfield AJ, Yurke B, Winfree E (2007) Engineering entropy-driven reactions and networks catalyzed by DNA. Science 318: 1121-1125.
http://dx.doi.org/10.1126/science.1148532
PMid:18006742
55. Riccione KA, Smith RP, Lee AJ, You L (2012) A synthetic biology approach to understanding cellular information processing. ACS Synth Biol 1: 389-402.
http://dx.doi.org/10.1021/sb300044r
PMid:23411668
56. Monod J, Jacob F (1961) Teleonomic mechanisms in cellular metabolism, growth, and differentiation. Cold Spring Harb Symp Quant Biol 26: 389-401.
http://dx.doi.org/10.1101/SQB.1961.026.01.048
PMid:14475415
57. Thorsley D, Klavins E (2012) Estimation and discrimination of stochastic biochemical circuits from time-lapse microscopy data. PLoS One 7: e47151.
http://dx.doi.org/10.1371/journal.pone.0047151
PMid:23139740 PMCid:3491022
58. Tabor JJ, Salis HM, Simpson ZB, Chevalier AA, Levskaya A, et al. (2009) A synthetic genetic edge detection program. Cell 137: 1272-1281.
http://dx.doi.org/10.1016/j.cell.2009.04.048
PMid:19563759 PMCid:2775486
59. Marchisio MA, Stelling J (2008) Computational design of synthetic gene circuits with composable parts. Bioinformatics 24: 1903-1910.
http://dx.doi.org/10.1093/bioinformatics/btn330
PMid:18579565
60. Lim WA, Lee CM, Tang C (2013) Design principles of regulatory networks: searching for the molecular algorithms of the cell. Mol Cell 49: 202-212.
http://dx.doi.org/10.1016/j.molcel.2012.12.020
PMid:23352241 PMCid:3664230
61. Kobayashi H, Kaern M, Araki M, Chung K, Gardner TS, et al. (2004) Programmable cells: interfacing natural and engineered gene networks. Proc Natl Acad Sci U S A 101: 8414-8419.
http://dx.doi.org/10.1073/pnas.0402940101
PMid:15159530 PMCid:420408
62. Friedland AE, Lu TK, Wang X, Shi D, Church G, et al. (2009) Synthetic gene networks that count. Science 324: 1199-1202.
http://dx.doi.org/10.1126/science.1172005
PMid:19478183 PMCid:2690711
63. Afroz T, Beisel CL Understanding and Exploiting Feedback in Synthetic Biology. Chemical Engineering Science.
64. Becskei A, Serrano L (2000) Engineering stability in gene networks by autoregulation. Nature 405: 590-593.
http://dx.doi.org/10.1038/35014651
PMid:10850721
65. Buchler NE, Gerland U, Hwa T (2003) On schemes of combinatorial transcription logic. Proc Natl Acad Sci U S A 100: 5136-5141.
http://dx.doi.org/10.1073/pnas.0930314100
PMid:12702751 PMCid:404558
66. Kauffman S, Peterson C, Samuelsson B, Troein C (2003) Random Boolean network models and the yeast transcriptional network. Proc Natl Acad Sci U S A 100: 14796-14799.
http://dx.doi.org/10.1073/pnas.2036429100
PMid:14657375 PMCid:299805
67. Elowitz MB, Leibler S (2000) A synthetic oscillatory network of transcriptional regulators. Nature 403: 335-338.
http://dx.doi.org/10.1038/35002125
PMid:10659856
68. Purcell O, di Bernardo M, Grierson CS, Savery NJ (2011) A multi-functional synthetic gene network: a frequency multiplier, oscillator and switch. PLoS One 6: e16140.
http://dx.doi.org/10.1371/journal.pone.0016140
PMid:21359152 PMCid:3040778
69. Gonze D Modeling the effect of cell division on genetic oscillators. Journal of Theoretical Biology.
70. Stricker J, Cookson S, Bennett MR, Mather WH, Tsimring LS, et al. (2008) A fast, robust and tunable synthetic gene oscillator. Nature 456: 516-519.
http://dx.doi.org/10.1038/nature07389
PMid:18971928
71. Tigges M, Marquez-Lago TT, Stelling J, Fussenegger M (2009) A tunable synthetic mammalian oscillator. Nature 457: 309-312.
http://dx.doi.org/10.1038/nature07616
PMid:19148099
72. Samoilov M, Arkin A, Ross J (2002) Signal Processing by Simple Chemical Systems. The Journal of Physical Chemistry A 106: 10205-10221.
http://dx.doi.org/10.1021/jp025846z
73. Guet CC, Elowitz MB, Hsing W, Leibler S (2002) Combinatorial synthesis of genetic networks. Science 296: 1466-1470.
http://dx.doi.org/10.1126/science.1067407
PMid:12029133
74. Auslander S, Auslander D, Muller M, Wieland M, Fussenegger M (2012) Programmable single-cell mammalian biocomputers. Nature 487: 123-127.
PMid:22722847
75. Lohmueller JJ, Armel TZ, Silver PA (2012) A tunable zinc finger-based framework for Boolean logic computation in mammalian cells. Nucleic Acids Res 40: 5180-5187.
http://dx.doi.org/10.1093/nar/gks142
PMid:22323524 PMCid:3367183
76. Cox RS, 3rd, Surette MG, Elowitz MB (2007) Programming gene expression with combinatorial promoters. Mol Syst Biol 3: 145.
http://dx.doi.org/10.1038/msb4100187
PMid:18004278 PMCid:2132448
77. Nissim L, Bar-Ziv RH (2010) A tunable dual-promoter integrator for targeting of cancer cells. Mol Syst Biol 6: 444.
http://dx.doi.org/10.1038/msb.2010.99
PMid:21179016
78. Szybalski W (1985) Universal restriction endonucleases: designing novel cleavage specificities by combining adapter oligodeoxynucleotide and enzyme moieties. Gene 40: 169-173.
http://dx.doi.org/10.1016/0378-1119(85)90039-3
79. Krishnan Y, Bathe M (2012) Designer nucleic acids to probe and program the cell. Trends Cell Biol 22: 624-633.
http://dx.doi.org/10.1016/j.tcb.2012.10.001
PMid:23140833
80. Elbaz J, Lioubashevski O, Wang F, Remacle F, Levine RD, et al. (2010) DNA computing circuits using libraries of DNAzyme subunits. Nat Nanotechnol 5: 417-422.
http://dx.doi.org/10.1038/nnano.2010.88
PMid:20512129
81. Benenson Y (2009) RNA-based computation in live cells. Curr Opin Biotechnol 20: 471-478.
http://dx.doi.org/10.1016/j.copbio.2009.08.002
PMid:19720518 PMCid:2764246
82. Davidson EA, Ellington AD (2007) Synthetic RNA circuits. Nat Chem Biol 3: 23-28.
http://dx.doi.org/10.1038/nchembio846
PMid:17173026
83. Lucks JB, Qi L, Mutalik VK, Wang D, Arkin AP (2011) Versatile RNA-sensing transcriptional regulators for engineering genetic networks. Proc Natl Acad Sci U S A 108: 8617-8622.
http://dx.doi.org/10.1073/pnas.1015741108
PMid:21555549 PMCid:3102349
84. Leisner M, Bleris L, Lohmueller J, Xie Z, Benenson Y (2010) Rationally designed logic integration of regulatory signals in mammalian cells. Nat Nanotechnol 5: 666-670.
http://dx.doi.org/10.1038/nnano.2010.135
PMid:20622866 PMCid:2934882
85. Isaacs FJ, Dwyer DJ, Collins JJ (2006) RNA synthetic biology. Nat Biotechnol 24: 545-554.
http://dx.doi.org/10.1038/nbt1208
PMid:16680139
86. Faulhammer D, Cukras AR, Lipton RJ, Landweber LF (2000) Molecular computation: RNA solutions to chess problems. Proc Natl Acad Sci U S A 97: 1385-1389.
http://dx.doi.org/10.1073/pnas.97.4.1385
PMid:10677471 PMCid:26442
87. Hermann T, Patel DJ (2000) Adaptive recognition by nucleic acid aptamers. Science 287: 820-825.
http://dx.doi.org/10.1126/science.287.5454.820
PMid:10657289
88. Win MN, Smolke CD (2008) Higher-order cellular information processing with synthetic RNA devices. Science 322: 456-460.
http://dx.doi.org/10.1126/science.1160311
PMid:18927397 PMCid:2805114
89. Lambowitz AM, Zimmerly S (2011) Group II introns: mobile ribozymes that invade DNA. Cold Spring Harb Perspect Biol 3: a003616.
http://dx.doi.org/10.1101/cshperspect.a003616
PMid:20463000
90. Penchovsky R (2012) Engineering Integrated Digital Circuits with Allosteric Ribozymes for Scaling up Molecular Computation and Diagnostics. ACS Synthetic Biology 1: 471-482.
http://dx.doi.org/10.1021/sb300053s
PMid:23656185
91. Khvorova A, Lescoute A, Westhof E, Jayasena SD (2003) Sequence elements outside the hammerhead ribozyme catalytic core enable intracellular activity. Nat Struct Biol 10: 708-712.
http://dx.doi.org/10.1038/nsb959
PMid:12881719
92. Liang JC, Smolke CD (2012) Rational design and tuning of ribozyme-based devices. Methods Mol Biol 848: 439-454.
http://dx.doi.org/10.1007/978-1-61779-545-9_27
PMid:22315085
93. Mandal M, Boese B, Barrick JE, Winkler WC, Breaker RR (2003) Riboswitches control fundamental biochemical pathways in Bacillus subtilis and other bacteria. Cell 113: 577-586.
http://dx.doi.org/10.1016/S0092-8674(03)00391-X
94. Rackham O, Chin JW (2005) Cellular logic with orthogonal ribosomes. J Am Chem Soc 127: 17584-17585.
http://dx.doi.org/10.1021/ja055338d
PMid:16351070
95. Seelig G, Soloveichik D, Zhang DY, Winfree E (2006) Enzyme-free nucleic acid logic circuits. Science 314: 1585-1588.
http://dx.doi.org/10.1126/science.1132493
PMid:17158324
96. Leisner M, Bleris L, Lohmueller J, Xie Z, Benenson Y (2012) MicroRNA circuits for transcriptional logic. Methods Mol Biol 813: 169-186.
http://dx.doi.org/10.1007/978-1-61779-412-4_10
PMid:22083742
97. Xie Z, Wroblewska L, Prochazka L, Weiss R, Benenson Y (2011) Multi-input RNAi-based logic circuit for identification of specific cancer cells. Science 333: 1307-1311.
http://dx.doi.org/10.1126/science.1205527
PMid:21885784
98. Rinaudo K, Bleris L, Maddamsetti R, Subramanian S, Weiss R, et al. (2007) A universal RNAi-based logic evaluator that operates in mammalian cells. Nat Biotechnol 25: 795-801.
http://dx.doi.org/10.1038/nbt1307
PMid:17515909
99. Jinek M, Chylinski K, Fonfara I, Hauer M, Doudna JA, et al. (2012) A programmable dual-RNA-guided DNA endonuclease in adaptive bacterial immunity. Science 337: 816-821.
http://dx.doi.org/10.1126/science.1225829
PMid:22745249
100. Qi L, Haurwitz RE, Shao W, Doudna JA, Arkin AP (2012) RNA processing enables predictable programming of gene expression. Nat Biotechnol 30: 1002-1006.
http://dx.doi.org/10.1038/nbt.2355
PMid:22983090
101. Miyamoto T, Razavi S, DeRose R, Inoue T (2012) Synthesizing Biomolecule-Based Boolean Logic Gates. ACS Synthetic Biology 2: 72-82.
http://dx.doi.org/10.1021/sb3001112
PMid:23526588
102. Grunberg R, Serrano L (2010) Strategies for protein synthetic biology. Nucleic Acids Res 38: 2663-2675.
http://dx.doi.org/10.1093/nar/gkq139
PMid:20385577 PMCid:2860127
103. Grilly C, Stricker J, Pang WL, Bennett MR, Hasty J (2007) A synthetic gene network for tuning protein degradation in Saccharomyces cerevisiae. Mol Syst Biol 3: 127.
http://dx.doi.org/10.1038/msb4100168
PMid:17667949 PMCid:1943424
104. Baron R, Lioubashevski O, Katz E, Niazov T, Willner I (2006) Logic gates and elementary computing by enzymes. J Phys Chem A 110: 8548-8553.
http://dx.doi.org/10.1021/jp0568327
PMid:16821840
105. Baron R, Lioubashevski O, Katz E, Niazov T, Willner I (2006) Elementary arithmetic operations by enzymes: a model for metabolic pathway based computing. Angew Chem Int Ed Engl 45: 1572-1576.
http://dx.doi.org/10.1002/anie.200503314
PMid:16440379
106. Niazov T, Baron R, Katz E, Lioubashevski O, Willner I (2006) Concatenated logic gates using four coupled biocatalysts operating in series. Proc Natl Acad Sci U S A 103: 17160-17163.
http://dx.doi.org/10.1073/pnas.0608319103
PMid:17088533 PMCid:1634834
107. Privman V, Arugula MA, Halamek J, Pita M, Katz E (2009) Network analysis of biochemical logic for noise reduction and stability: a system of three coupled enzymatic and gates. J Phys Chem B 113: 5301-5310.
http://dx.doi.org/10.1021/jp810743w
PMid:19354308
108. Kramer BP, Fischer C, Fussenegger M (2004) BioLogic gates enable logical transcription control in mammalian cells. Biotechnol Bioeng 87: 478-484.
http://dx.doi.org/10.1002/bit.20142
PMid:15286985
109. Bronson JE, Mazur WW, Cornish VW (2008) Transcription factor logic using chemical complementation. Mol Biosyst 4: 56-58.
http://dx.doi.org/10.1039/b713852k
PMid:18075675
110. Miyamoto T, DeRose R, Suarez A, Ueno T, Chen M, et al. (2012) Rapid and orthogonal logic gating with a gibberellin-induced dimerization system. Nat Chem Biol 8: 465-470.
http://dx.doi.org/10.1038/nchembio.922
PMid:22446836 PMCid:3368803
111. Hoffman-Sommer M, Supady A, Klipp E (2012) Cell-to-Cell Communication Circuits: Quantitative Analysis of Synthetic Logic Gates. Front Physiol 3: 287.
http://dx.doi.org/10.3389/fphys.2012.00287
PMid:22934039 PMCid:3429059
112. Tamsir A, Tabor JJ, Voigt CA (2011) Robust multicellular computing using genetically encoded NOR gates and chemical 'wires'. Nature 469: 212-215.
http://dx.doi.org/10.1038/nature09565
PMid:21150903
113. Borresen J, Lynch S (2009) Neuronal computers. Nonlinear Analysis: Theory, Methods & Applications 71: e2372-e2376.
114. Hjelmfelt A, Weinberger ED, Ross J (1991) Chemical implementation of neural networks and Turing machines. Proc Natl Acad Sci U S A 88: 10983-10987.
http://dx.doi.org/10.1073/pnas.88.24.10983
PMid:1763012 PMCid:53057
115. (2013) Computer. Wikipedia, The Free Encyclopedia
116. Gardner TS, Cantor CR, Collins JJ (2000) Construction of a genetic toggle switch in Escherichia coli. Nature 403: 339-342.
http://dx.doi.org/10.1038/35002131
PMid:10659857
117. Modi S, M GS, Goswami D, Gupta GD, Mayor S, et al. (2009) A DNA nanomachine that maps spatial and temporal pH changes inside living cells. Nat Nanotechnol 4: 325-330.
http://dx.doi.org/10.1038/nnano.2009.83
PMid:19421220
118. Delebecque CJ, Lindner AB, Silver PA, Aldaye FA (2011) Organization of intracellular reactions with rationally designed RNA assemblies. Science 333: 470-474.
http://dx.doi.org/10.1126/science.1206938
PMid:21700839
119. Isaacs FJ, Dwyer DJ, Ding C, Pervouchine DD, Cantor CR, et al. (2004) Engineered riboregulators enable post-transcriptional control of gene expression. Nat Biotechnol 22: 841-847.
http://dx.doi.org/10.1038/nbt986
PMid:15208640
120. Callura JM, Cantor CR, Collins JJ (2012) Genetic switchboard for synthetic biology applications. Proc Natl Acad Sci U S A 109: 5850-5855.
http://dx.doi.org/10.1073/pnas.1203808109
PMid:22454498 PMCid:3326468
121. Deans TL, Cantor CR, Collins JJ (2007) A tunable genetic switch based on RNAi and repressor proteins for regulating gene expression in mammalian cells. Cell 130: 363-372.
http://dx.doi.org/10.1016/j.cell.2007.05.045
PMid:17662949
122. Arkin A, Ross J (1994) Computational functions in biochemical reaction networks. Biophys J 67: 560-578.
http://dx.doi.org/10.1016/S0006-3495(94)80516-8
123. Goni-Moreno A, Amos M (2012) A reconfigurable NAND/NOR genetic logic gate. BMC Syst Biol 6: 126.
http://dx.doi.org/10.1186/1752-0509-6-126
PMid:22989145
124. Ji W, Shi H, Zhang H, Sun R, Xi J, et al. (2013) A formalized design process for bacterial consortia that perform logic computing. PLoS One 8: e57482.
http://dx.doi.org/10.1371/journal.pone.0057482
PMid:23468999 PMCid:3585339
125. Ran T, Douek Y, Milo L, Shapiro E (2012) A programmable NOR-based device for transcription profile analysis. Sci Rep. 07 September 2012 ed.
126. Wang B, Kitney RI, Joly N, Buck M (2011) Engineering modular and orthogonal genetic logic gates for robust digital-like synthetic biology. Nat Commun 2: 508.
http://dx.doi.org/10.1038/ncomms1516
PMid:22009040 PMCid:3207208
127. Stojanovic MN, Mitchell TE, Stefanovic D (2002) Deoxyribozyme-based logic gates. J Am Chem Soc 124: 3555-3561.
http://dx.doi.org/10.1021/ja016756v
PMid:11929243
128. Stojanovic MN, Stefanovic D (2003) A deoxyribozyme-based molecular automaton. Nat Biotechnol 21: 1069-1074.
http://dx.doi.org/10.1038/nbt862
PMid:12923549
129. Moon TS, Lou C, Tamsir A, Stanton BC, Voigt CA (2012) Genetic programs constructed from layered logic gates in single cells. Nature 491: 249-253.
http://dx.doi.org/10.1038/nature11516
PMid:23041931
130. Yoshida W, Yokobayashi Y (2007) Photonic Boolean logic gates based on DNA aptamers. Chem Commun (Camb): 195-197.
http://dx.doi.org/10.1039/b613201d
PMid:17180244
131. Douglas SM, Bachelet I, Church GM (2012) A logic-gated nanorobot for targeted transport of molecular payloads. Science 335: 831-834.
http://dx.doi.org/10.1126/science.1214081
PMid:22344439
132. Qian L, Winfree E (2011) Scaling up digital circuit computation with DNA strand displacement cascades. Science 332: 1196-1201.
http://dx.doi.org/10.1126/science.1200520
PMid:21636773
133. Macdonald J, Li Y, Sutovic M, Lederman H, Pendri K, et al. (2006) Medium scale integration of molecular logic gates in an automaton. Nano Lett 6: 2598-2603.
http://dx.doi.org/10.1021/nl0620684
PMid:17090098
134. Bonnet J, Yin P, Ortiz ME, Subsoontorn P, Endy D (2013) Amplifying Genetic Logic Gates. Science advanced online publication.
135. Culler SJ, Hoff KG, Smolke CD (2010) Reprogramming cellular behavior with RNA controllers responsive to endogenous proteins. Science 330: 1251-1255.
http://dx.doi.org/10.1126/science.1192128
PMid:21109673 PMCid:3171693
136. Sudarsan N, Hammond MC, Block KF, Welz R, Barrick JE, et al. (2006) Tandem riboswitch architectures exhibit complex gene control functions. Science 314: 300-304.
http://dx.doi.org/10.1126/science.1130716
PMid:17038623
137. Penchovsky R, Breaker RR (2005) Computational design and experimental validation of oligonucleotide-sensing allosteric ribozymes. Nat Biotechnol 23: 1424-1433.
http://dx.doi.org/10.1038/nbt1155
PMid:16244657
138. Chen YY, Jensen MC, Smolke CD (2010) Genetic control of mammalian T-cell proliferation with synthetic RNA regulatory systems. Proc Natl Acad Sci U S A 107: 8531-8536.
http://dx.doi.org/10.1073/pnas.1001721107
PMid:20421500 PMCid:2889348
139. Liu CC, Qi L, Yanofsky C, Arkin AP (2011) Regulation of transcription by unnatural amino acids. Nat Biotechnol 29: 164-168.
http://dx.doi.org/10.1038/nbt.1741
PMid:21240267
140. Anderson JC, Voigt CA, Arkin AP (2007) Environmental signal integration by a modular AND gate. Mol Syst Biol 3: 133.
http://dx.doi.org/10.1038/msb4100173
PMid:17700541 PMCid:1964800
141. Shis DL, Bennett MR (2013) Library of synthetic transcriptional AND gates built with split T7 RNA polymerase mutants. Proceedings of the National Academy of Sciences.
142. Zhou J, Arugula MA, Halamek J, Pita M, Katz E (2009) Enzyme-based NAND and NOR logic gates with modular design. J Phys Chem B 113: 16065-16070.
http://dx.doi.org/10.1021/jp9079052
PMid:19902934
143. Regot S, Macia J, Conde N, Furukawa K, Kjellen J, et al. (2011) Distributed biological computation with multicellular engineered networks. Nature 469: 207-211.
http://dx.doi.org/10.1038/nature09679
PMid:21150900
144. Privman V, Strack G, Solenov D, Pita M, Katz E (2008) Optimization of enzymatic biochemical logic for noise reduction and scalability: how many biocomputing gates can be interconnected in a circuit? J Phys Chem B 112: 11777-11784.
http://dx.doi.org/10.1021/jp802673q
PMid:18712917
145. Oishi K, Klavins E (2011) Biomolecular implementation of linear I/O systems. IET Syst Biol 5: 252-260.
http://dx.doi.org/10.1049/iet-syb.2010.0056
PMid:21823756
146. Benenson Y (2011) Biocomputing: DNA computes a square root. Nat Nanotechnol 6: 465-467.
http://dx.doi.org/10.1038/nnano.2011.128
PMid:21814231
147. Pei R, Matamoros E, Liu M, Stefanovic D, Stojanovic MN (2010) Training a molecular automaton to play a game. Nat Nanotechnol 5: 773-777.
http://dx.doi.org/10.1038/nnano.2010.194
PMid:20972436
148. Ran T, Kaplan S, Shapiro E (2009) Molecular implementation of simple logic programs. Nat Nanotechnol 4: 642-648.
http://dx.doi.org/10.1038/nnano.2009.203
PMid:19809454
149. Baer RM, Martinez HM (1974) Automata and biology. Annu Rev Biophys Bioeng 3: 255-291.
http://dx.doi.org/10.1146/annurev.bb.03.060174.001351
PMid:4608534
150. Kawano T, Bouteau F, Mancuso S (2012) Finding and defining the natural automata acting in living plants: Toward the synthetic biology for robotics and informatics in vivo. Commun Integr Biol 5: 519-526.
http://dx.doi.org/10.4161/cib.21805
PMid:23336016 PMCid:3541313
151. Turing AM (1937) On Computable Numbers, with an Application to the Entscheidungs problem. Proceedings of the London Mathematical Society 2: 230 - 265.
http://dx.doi.org/10.1112/plms/s2-42.1.230
152. Hagiya M, Arita M, Kiga D, Sakamoto K, Yokoyama S (1997) Towards parallel evaluation and learning of boolean m-formulas with molecules. Preliminary Proceedings of the Third DIMACS Workshop on DNA Based Computers: University of Pennsylvania. pp. 105 - 114.
153. Sakamoto K, Kiga D, Komiya K, Gouzu H, Yokoyama S, et al. (1999) State transitions by molecules. Biosystems 52: 81-91.
http://dx.doi.org/10.1016/S0303-2647(99)00035-0
154. Benenson Y, Paz-Elizur T, Adar R, Keinan E, Livneh Z, et al. (2001) Programmable and autonomous computing machine made of biomolecules. Nature 414: 430-434.
http://dx.doi.org/10.1038/35106533
PMid:11719800
155. Adar R, Benenson Y, Linshiz G, Rosner A, Tishby N, et al. (2004) Stochastic computing with biomolecular automata. Proc Natl Acad Sci U S A 101: 9960-9965.
http://dx.doi.org/10.1073/pnas.0400731101
PMid:15215499 PMCid:454388
156. Soreni M, Yogev S, Kossoy E, Shoham Y, Keinan E (2005) Parallel biomolecular computation on surfaces with advanced finite automata. J Am Chem Soc 127: 3935-3943.
http://dx.doi.org/10.1021/ja047168v
PMid:15771530
157. Wang ZG, Elbaz J, Remacle F, Levine RD, Willner I (2010) All-DNA finite-state automata with finite memory. Proc Natl Acad Sci U S A 107: 21996-22001.
http://dx.doi.org/10.1073/pnas.1015858107
PMid:21135212 PMCid:3009826
158. Shoshani S, Piran R, Arava Y, Keinan E (2012) A molecular cryptosystem for images by DNA computing. Angew Chem Int Ed Engl 51: 2883-2887.
http://dx.doi.org/10.1002/anie.201107156
PMid:22308004
159. Ham TS, Lee SK, Keasling JD, Arkin AP (2008) Design and construction of a double inversion recombination switch for heritable sequential genetic memory. PLoS One 3: e2815.
http://dx.doi.org/10.1371/journal.pone.0002815
PMid:18665232 PMCid:2481393
160. Benenson Y, Gil B, Ben-Dor U, Adar R, Shapiro E (2004) An autonomous molecular computer for logical control of gene expression. Nature 429: 423-429.
http://dx.doi.org/10.1038/nature02551
PMid:15116117
161. Gil B, Kahan-Hanum M, Skirtenko N, Adar R, Shapiro E (2011) Detection of multiple disease indicators by an autonomous biomolecular computer. Nano Lett 11: 2989-2996.
http://dx.doi.org/10.1021/nl2015872
PMid:21671655
162. Lewandoski M (2001) Conditional control of gene expression in the mouse. Nat Rev Genet 2: 743-755.
http://dx.doi.org/10.1038/35093537
PMid:11584291
163. Wang B, Barahona M, Buck M (2013) A modular cell-based biosensor using engineered genetic logic circuits to detect and integrate multiple environmental signals. Biosens Bioelectron 40: 368-376.
http://dx.doi.org/10.1016/j.bios.2012.08.011
PMid:22981411 PMCid:3507625
164. Peter IS, Faure E, Davidson EH (2012) Predictive computation of genomic logic processing functions in embryonic development. Proceedings of the National Academy of Sciences 109: 16434-16442.
http://dx.doi.org/10.1073/pnas.1207852109
PMid:22927416 PMCid:3478651
165. Khademhosseini A, Langer R, Borenstein J, Vacanti JP (2006) Microscale technologies for tissue engineering and biology. Proc Natl Acad Sci U S A 103: 2480-2487.
http://dx.doi.org/10.1073/pnas.0507681102
PMid:16477028 PMCid:1413775
166. Keasling JD (2010) Manufacturing molecules through metabolic engineering. Science 330: 1355-1358.
http://dx.doi.org/10.1126/science.1193990
PMid:21127247
167. Morelli AE, Thomson AW (2007) Tolerogenic dendritic cells and the quest for transplant tolerance. Nat Rev Immunol 7: 610-621.
http://dx.doi.org/10.1038/nri2132
PMid:17627284
168. Lund K, Manzo AJ, Dabby N, Michelotti N, Johnson-Buck A, et al. (2010) Molecular robots guided by prescriptive landscapes. Nature 465: 206-210.
http://dx.doi.org/10.1038/nature09012
PMid:20463735 PMCid:2907518
169. Isaacs FJ, Carr PA, Wang HH, Lajoie MJ, Sterling B, et al. (2011) Precise manipulation of chromosomes in vivo enables genome-wide codon replacement. Science 333: 348-353.
http://dx.doi.org/10.1126/science.1205822
PMid:21764749
170. Scott M, Hwa T, Ingalls B (2007) Deterministic characterization of stochastic genetic circuits. Proc Natl Acad Sci U S A 104: 7402-7407.
http://dx.doi.org/10.1073/pnas.0610468104
PMid:17446275 PMCid:1863463
171. Kim HD, O'Shea EK (2008) A quantitative model of transcription factor-activated gene expression. Nat Struct Mol Biol 15: 1192-1198.
http://dx.doi.org/10.1038/nsmb.1500
PMid:18849996 PMCid:2696132
172. Bleris L, Xie Z, Glass D, Adadey A, Sontag E, et al. (2011) Synthetic incoherent feedforward circuits show adaptation to the amount of their genetic template. Mol Syst Biol 7: 519.
http://dx.doi.org/10.1038/msb.2011.49
PMid:21811230 PMCid:3202791
173. Macia J, Posas F, Sole RV (2012) Distributed computation: the new wave of synthetic biology devices. Trends Biotechnol 30: 342-349.
http://dx.doi.org/10.1016/j.tibtech.2012.03.006
PMid:22516742
174. Perkel JM (2013) Streamlined engineering for synthetic biology. Nat Methods 10: 39-42.
http://dx.doi.org/10.1038/nmeth.2304
175. Daniel R, Rubens J, Sarpeshkar R, Lu T (2013) Synthetic analog computation in living cells. Nature 497: 619-623.
http://dx.doi.org/10.1038/nature12148
PMid:23676681
176. Bettinger CJ, Bao Z (2010) Biomaterials-Based Organic Electronic Devices. Polym Int 59: 563-567.
PMid:20607127 PMCid:2895275
177. Muskovich M, Bettinger CJ (2012) Biomaterials-based electronics: polymers and interfaces for biology and medicine. Adv Healthc Mater 1: 248-266.
http://dx.doi.org/10.1002/adhm.201200071
PMid:23184740 PMCid:3642371
178. Ying JY (2012) Biocomposites. Cells made of silica. Nat Nanotechnol 7: 777-778.
http://dx.doi.org/10.1038/nnano.2012.215
PMid:23212419
179. Cassell AM, Scrivens WA, Tour JM (1998) Assembly of DNA/Fullerene Hybrid Materials. Angewandte Chemie International Edition 37: 1528-1531.
http://dx.doi.org/10.1002/(SICI)1521-3773(19980619)37:11<1528::AID-ANIE1528>3.0.CO;2-Q
180. Mirkin CA, Letsinger RL, Mucic RC, Storhoff JJ (1996) A DNA-based method for rationally assembling nanoparticles into macroscopic materials. Nature 382: 607-609.
http://dx.doi.org/10.1038/382607a0
PMid:8757129
181. Braun E, Eichen Y, Sivan U, Ben-Yoseph G (1998) DNA-templated assembly and electrode attachment of a conducting silver wire. Nature 391: 775-778.
http://dx.doi.org/10.1038/35826
PMid:9486645
182. Lee JB, Peng S, Yang D, Roh YH, Funabashi H, et al. (2012) A mechanical metamaterial made from a DNA hydrogel. Nat Nanotechnol 7: 816-820.
http://dx.doi.org/10.1038/nnano.2012.211
PMid:23202472
183. Li J, Bai L (2012) DNA nanotechnology. A metamaterial with memory. Nat Nanotechnol 7: 773-774.
http://dx.doi.org/10.1038/nnano.2012.221
PMid:23212417
184. IBM Computational Biology Center, DNA Transistor http://researcher.watson.ibm.com/researcher/view_project.php?id=1120.

 

5 Trackbacks

  1. [...] Peter Abstract Systemics, a revolutionary paradigm shift in scientific thinking, with applications in [...]

  2. [...] Every Move >> * Biological microprocessor, or how to build a computer with biological parts >> * Flexible Glass Could Make Tablets Lighter and Solar Power Cheaper [...]

  3. [...] The biological microprocessor, or how to build a computer <b>with</b> <b>…&l... [...]

  4. [...] The biological microprocessor, or how to set up a mechanism with … [...]

  5. [...] The biological microprocessor, or how to build a computer with … [...]

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

*

Join the h+ Community