摘要
DNA 计算是应用分子生物技术进行计算的新方法。从理论上研究 DNA 计算方法,有利于推动理论计算科学的发展。本系列文章应用形式语言及自动机理论技术,系统地探讨了 DNA 分子的可计算性及其计算能力。本文主要介绍常用 DNA 分子操作方法,并根据 DNA 分子的结构及特点,给出了 DNA 分子的形式化描述。
DNA computing is a new method for computation using the technology in molecular biology. The study of DNA computing theory will be of benefit to computing science theory. The series papers systematic discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory. In this paper, we focus on common DNA manipulation, and provide the formal description of DNA molecular based on it＇s structure and characteristic.
出处
《计算机科学》
CSCD
北大核心
2006年第1期202-204,222,共4页
Computer Science
