Time/space trade-offs for reversible computation
SIAM Journal on Computing
Complexity theory retrospective II
Computation: finite and infinite machines
Computation: finite and infinite machines
On the Computational Power of Biochemistry
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Computation with finite stochastic chemical reaction networks
Natural Computing: an international journal
Irreversibility and heat generation in the computing process
IBM Journal of Research and Development
Logical reversibility of computation
IBM Journal of Research and Development
Strand Algebras for DNA Computing
DNA Computing and Molecular Programming
Turing complete catalytic particle computers
ECAL'07 Proceedings of the 9th European conference on Advances in artificial life
DNA'04 Proceedings of the 10th international conference on DNA computing
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Synchronous sequential computation with molecular reactions
Proceedings of the 48th Design Automation Conference
Graph-theoretic formalization of hybridization in DNA sticker complexes
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
Less haste, less waste: on recycling and its limits in strand displacement systems
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
Modelling, simulating and verifying turing-powerful strand displacement systems
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements
Theoretical Computer Science
Graph-theoretic formalization of hybridization in DNA sticker complexes
Natural Computing: an international journal
Logically and physically reversible natural computing: a tutorial
RC'13 Proceedings of the 5th international conference on Reversible Computation
Digital logic with molecular reactions
Proceedings of the International Conference on Computer-Aided Design
Hi-index | 0.00 |
Bennett's proposed chemical Turing machine is one of the most important thought experiments in the study of the thermodynamics of computation. Yet the sophistication of molecular engineering required to physically construct Bennett's hypothetical polymer substrate and enzymes has deterred experimental implementations. Here we propose a chemical implementation of stack machines -- a Turing-universal model of computation similar to Turing machines -- using DNA strand displacement cascades as the underlying chemical primitive. More specifically, the mechanism described herein is the addition and removal of monomers from the end of a DNA polymer, controlled by strand displacement logic. We capture the motivating feature of Bennett's scheme: that physical reversibility corresponds to logically reversible computation, and arbitrarily little energy per computation step is required. Further, as a method of embedding logic control into chemical and biological systems, polymer-based chemical computation is significantly more efficient than geometry-free chemical reaction networks.