Two-Domain DNA Strand Displacementl
Two-Domain DNA Strand Displacementl
复制标题
DOI：
10.4204/eptcs.26.5
复制
发表时间：
2010-01-01
影响因子：
--
通讯作者：
Cardelli, Luca
中科院分区：
文献类型：
--
作者：
Cardelli, Luca
我们调查的计算能力的限制类的DNA链置换结构：那些是由双链与切口（中断）的顶部链。为了保持这种结构不变，我们对它们相互作用的单链施加限制：我们只考虑由一个立足点结构域和一个识别结构域组成的两个结构域单链。我们研究分叉和加入信号处理门基于这些结构，我们表明，这些系统是经得起形式化和机械验证。
We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand. To preserve this structural invariant, we impose restrictions on the single strands they interact with: we consider only two-domain single strands consisting of one toehold domain and one recognition domain. We study fork and join signal-processing gates based on these structures, and we show that these systems are amenable to formalization and to mechanical verification.