DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification

TL;DR

This paper introduces ICLEDA, a novel isothermal DNA amplification method combining RCA and SDA, formalized through language theory, enabling the implementation of any boolean function on DNA strands.

Contribution

The paper presents ICLEDA as a new DNA amplification technique and formalizes its computational capabilities using formal language theory.

Findings

ICLEDA combines RCA and SDA advantages

Formal language model for DNA computation

Potential to implement any boolean function

Abstract

In this paper, we first describe the isothermal constrained loop extension DNA amplification (ICLEDA), which is a new variant of amplification combining the advantages of rolling circle amplification (RCA) and of strand displacement amplification (SDA). Then, we formalize this process in terms of the theory of formal languages and show, on the basis of this formulation, how to manage OR and AND gates. We then explain how to introduce negation, which allows us to prove that, in principle, it is possible to implement the computation of any boolean function on DNA strands using ICLEDA.