Abstract. We explore the information processing capabilities and efciency of DNA computations by giving two di erent types of implementations of nite-state machines. A ligation-based approach allows input of arbitrary length and can be readily implemented with current biotechnology, but requires sequential input feed and di erent molecules for di erent machines. In a second implementation not based on ligation, transitions are represented by reusable molecules, and the input, coded as a molecule, can be introduced at once. We extend the technique for programmable fault-tolerant implementation of nondeterministic nite-state machines by enforcings the basic conditions in the subset constructions that permit e cient computation. All implementations allow optical extraction of the status of the machine.
Max H. Garzon, Y. Gao, John A. Rose, R. C. Murphy,