摘要
为建立以载体分子为基础的DNA计算系统,根据目的基因和载体分子连接操作的特性构造一类DNA计算模型.该模型基于上下文的插入/删除模型,将线性分子拓展到环形质粒分上进行讨论.以剪接系统理论为基础,对在单一限制性内切酶作用下的插入/切割操作进行模拟.最后证明了这类操作的图灵机表达能力.
A DNA computing model is established which simulates the mechanism of the ligation between target gene and vector molecular. The main idea is to study the DNA computing system which is based on vector molecular. This model that based on the theory of splicing systems extends contextual insertions/deletions model from linear molecular to circular plasmids, and simulates the insertion/cutting operation with single restriction enzymes. Finally, the operation＇s expression ability of Turing machine properties is proved.
出处
《控制与决策》
EI
CSCD
北大核心
2006年第6期701-704,共4页
Control and Decision
基金
上海市重点学科建设项目(T0502)
上海市教委基金项目(04EB16)
关键词
DNA计算
剪接系统
插入/切割计算
图灵机
DNA computing
Splicing system
Insertion/cutting computing
Turing machine
