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