DNA 计算是应用分子生物技术进行计算的新方法。从理论上研究 DNA 计算方法,有利于推动理论计算科学的发展。本系列文章应用形式语言及自动机理论技术,系统地探讨了 DNA 分子的可计算性及其计算能力。本文主要介绍 DNA 剪接计算模型的文法结构和剪接计算方法,探讨了不同 DNA 剪接计算模型的计算能力,证明了所有图灵机可计算的函数理论上都可以通过 DNA 剪接计算模型来计算。
DNA 计算是应用分子生物技术进行计算的新方法。从理论上研究 DNA 计算方法,有利于推动理论计算科学的发展。本系列文章应用形式语言及自动机理论技术,系统地探讨了 DNA 分子的可计算性及其计算能力。本文主要介绍常用 DNA 分子操作方法,并根据 DNA 分子的结构及特点,给出了 DNA 分子的形式化描述。
DNA 计算是应用分子生物技术进行计算的新方法。从理论上研究 DNA 计算方法,有利于推动理论计算科学的发展。本系列文章应用形式语言及自动机理论技术,系统地探讨了 DNA 分子的可计算性及其计算能力。本文主要介绍 DNA 分子粘接计算模型的文法结构和计算方法,探讨了不同粘接计算模型的计算能力,并证明了 DNA 有穷自动机与正规文法的等价性。
The field of practical DNA computing opened in 1994 with Adleman's paper,in which a laboratory experi-ment involving DNA molecules was used to solve a small instance of the Hamiltonian Path problem. The characteris-tic of this computation is its powerful ability in parallelism, its huge storage and high energy efficiency. This papermainly introduces the principles of DNA computing and the sticker computing model.
