A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures.

ABSTRACT: Information technologies enable programmers and engineers to design and synthesize systems of startling complexity that nonetheless behave as intended. This mastery of complexity is made possible by a hierarchy of formal abstractions that span from high-level programming languages down to low-level implementation specifications, with rigorous connections between the levels. DNA nanotechnology presents us with a new molecular information technology whose potential has not yet been fully unlocked in this way. Developing an effective hierarchy of abstractions may be critical for increasing the complexity of programmable DNA systems. Here, we build on prior practice to provide a new formalization of 'domain-level' representations of DNA strand displacement systems that has a natural connection

SUBMITTER: Badelt S 

PROVIDER: S-EPMC7328391 | biostudies-literature | 2020 Jun

REPOSITORIES: biostudies-literature