Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing

Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing
ISBN-10
160845696X
ISBN-13
9781608456963
Category
Technology & Engineering
Pages
75
Language
English
Published
2011-02-02
Publisher
Morgan & Claypool Publishers
Authors
Dennis Shasha, Jessica Chang

Description

In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure and a number would eventually appear. Once calculators became fast enough, it became obvious that the critical path was the punching rather than the calculation itself. That is what made the stored program concept vital to further progress. Once the instructions were stored in the machine, the entire computation could run at the speed of the machine. This book shows how to do the same thing for DNA computing. Rather than asking a robot or a person to pour in specific strands at different times in order to cause a DNA computation to occur (by analogy to a person punching numbers and operations into a mechanical calculator), the DNA instructions are stored within the solution and guide the entire computation. We show how to store straight line programs, conditionals, loops, and a rudimentary form of subroutines. To achieve this goal, the book proposes a complete language for describing the intrinsic topology of DNA complexes and nanomachines, along with the dynamics of such a system. We then describe dynamic behavior using a set of basic transitions, which operate on a small neighborhood within a complex in a well-defined way. These transitions can be formalized as purely syntactical functions of the string representations. Building on that foundation, the book proposes a novel machine motif which constitutes an instruction stack, allowing for the clocked release of an arbitrary sequence of DNA instruction or data strands. The clock mechanism is built of special strands of DNA called "tick" and "tock." Each time a "tick" and "tock" enter a DNA solution, a strand is released from an instruction stack (by analogy to the way in which as a clock cycle in an electronic computer causes a new instruction to enter a processing unit). As long as there remain strands on the stack, the next cycle will release a new instruction strand. Regardless of the actual strand or component to be released at any particular clock step, the "tick" and "tock" fuel strands remain the same, thus shifting the burden of work away from the end user of a machine and easing operation. Pre-loaded stacks enable the concept of a stored program to be realized as a physical DNA mechanism. A conceptual example is given of such a stack operating a walker device. The stack allows for a user to operate such a clocked walker by means of simple repetition of adding two fuel types, in contrast to the previous mechanism of adding a unique fuel -- at least 12 different types of strands -- for each step of the mechanism. We demonstrate by a series of experiments conducted in Ned Seeman's lab that it is possible to "initialize" a clocked stored program DNA machine. We end the book with a discussion of the design features of a programming language for clocked DNA programming. There is a lot left to do. Table of Contents: Introduction / Notation / A Topological Description of DNA Computing / Machines and Motifs / Experiment: Storing Clocked Programs in DNA / A Clocked DNA Programming Language

Get the book

Amazon.com
Amazon.com
Search the book
eBay.com
eBay.com
Search the book

Other editions

Similar books

  • Smart Biosensor Technology
    Smart Biosensor Technology
    By George K. Knopf, Amarjeet S. Bassi

    ... DNA to create nanoscale shapes and patterns. Nature 440, 297–302, 2006, doi:10.1038/nature04586. Seeman, N. C. ... Storing clocked programs inside DNA: A simplifying framework for nanocomputing. Synth Lect Comput Sci 3, 1–73, 2011, doi ...

  • Blockchain Platforms: A Look at the Underbelly of Distributed Platforms
    Blockchain Platforms: A Look at the Underbelly of Distributed Platforms
    By Hijfte Stijn Van

    ... in a variety of areas within computer science. Blockchain Platforms: A Look at the Underbelly of Distributed Platforms Stijn Van Hijfte July 2020 ... Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing. iii.

  • Introduction to Logic, Third Edition
    Introduction to Logic, Third Edition
    By Genesereth Michael, Kao Eric J.

    This book is a gentle but rigorous introduction to Formal Logic.

  • Principles of Blockchain Systems
    Principles of Blockchain Systems
    By Fernández Antonio, Georgiou Chryssis, Herlihy Maurice

    ... Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing Jessica P. Chang and Dennis E. Shasha 2011 Analytical Performance Modeling for Computer Systems Y.C. Tay 2010 The Theory of Timed I/O Automata Dilsun K ...

  • Creating Autonomous Vehicle Systems, Second Edition
    Creating Autonomous Vehicle Systems, Second Edition
    By Tang Jie, Liu Shaoshan, Li Liyun

    ... Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing Jessica P. Chang, Dennis E. Shasha April 2011 Analytical Performance Modeling for Computer Systems Y.C.Tay April 2010 The Theory of Timed I/O Automata Dilsun ...

  • Automated Verification of Concurrent Search Structures
    Automated Verification of Concurrent Search Structures
    By Shasha Dennis, Krishna Siddharth, Patel Nisarg

    ... Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing Jessica P. Chang and Dennis E. Shasha 2011 Analytical Performance Modeling for Computer Systems Y.C. Tay 2010 The Theory of Timed I/O Automata Dilsun K ...

  • Analytical Performance Modeling for Computer Systems, Third Edition
    Analytical Performance Modeling for Computer Systems, Third Edition
    By Tay Y.C.

    ... Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing Jessica P. Chang and Dennis E. Shasha 2011 Analytical Performance Modeling for Computer Systems Y.C. Tay 2010 The.

  • Introduction to Logic
    Introduction to Logic
    By Genesereth Michael, Kao Eric

    ... Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing Jessica P. Chang and Dennis E. Shasha 2011 Analytical Performance Modeling for Computer Systems Y.C. Tay 2010 The Theory of Timed I/O Automata Dilsun K ...

  • Analytical Performance Modeling for Computer Systems, Second Edition
    Analytical Performance Modeling for Computer Systems, Second Edition
    By Tay Y.C.

    ... Storing Clocked Programs Inside DNA : A Simplifying Framework for Nanocomputing Jessica P. Chang and Dennis E. Shasha 2011 Analytical Performance Modeling for Computer Systems Y.C. Tay 2010 The Theory of Timed I / O Automata Dilsun K ...

  • DNA Computing and Molecular Programming: 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
    DNA Computing and Molecular Programming: 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
    By Satoshi Kobayashi, Satoshi Murata

    ... in reactions as catalysts, it is assumed that they are not depleted over time2. In this paper we assume that this ... stored as the current state. Cycles of communication, calculation of new states, and storage of the new state in a ...