Bounded-width polynomial-size branching programs recognize exactly those languages in NC1
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Elements of the Theory of Computation
Elements of the Theory of Computation
Isothermal reactivating Whiplash PCR for locally programmable molecular computation
Natural Computing: an international journal
DNA computing: a research snapshot
Algorithms and theory of computation handbook
Graph-theoretic formalization of hybridization in DNA sticker complexes
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
Graph-theoretic formalization of hybridization in DNA sticker complexes
Natural Computing: an international journal
Exploring programmable self-assembly in non-DNA based molecular computing
Natural Computing: an international journal
Arithmetical Analysis of Biomolecular Finite Automaton
Fundamenta Informaticae
Hi-index | 5.23 |
The development of autonomous molecular computers capable of making independent decisions in vivo regarding local drug administration may revolutionize medical science. Recently Benenson et al. [An autonomous molecular computer for logical control of gene expression, Nature 429 (2004) 423-429.] have envisioned one form such a "smart drug" may take by implementing an in vitro scheme, in which a long DNA state molecule is cut repeatedly by a restriction enzyme in a manner dependent upon the presence of particular short DNA "rule molecules." To analyze the potential of their scheme in terms of the kinds of computations it can perform, we study an abstraction assuming that a certain class of restriction enzymes is available and reactions occur without error. We also discuss how our molecular algorithms could perform with known restriction enzymes. By exhibiting a way to simulate arbitrary circuits, we show that these "Benenson automata" are capable of computing arbitrary Boolean functions. Further, we show that they are able to compute efficiently exactly those functions computable by log-depth circuits. Computationally, we formalize a new variant of limited width branching programs with a molecular implementation.