Storing Clocked Programs Inside Dna

Proposes a complete language for describing the intrinsic topology of DNA complexes and nanomachines, along with the dynamics of such a system. The book then describes dynamic behaviour using a set of basic transitions, which operate on a small neighbourhood within a complex in a well-defined way. These transitions can be formalized as purely syntactical functions of the string representations.