插入/切割DNA计算系统模型研究

为建立以载体分子为基础的DNA计算系统,根据目的基因和载体分子连接操作的特性构造一类DNA计算模型.该模型基于上下文的插入/删除模型,将线性分子拓展到环形质粒分上进行讨论.以剪接系统理论为基础,对在单一限制性内切酶作用下的插入/切割操作进行模拟.最后证明了这类操作的图灵机表达能力.