DNA粘接计算模型及其应用  

DNA Sticker Computing Model and Its Application

作　　者：李燕[1] 

机构地区：[1]潍坊学院,山东潍坊261061

出　　处：《潍坊学院学报》2007年第6期10-12,共3页Journal of Weifang University

基　　金：潍坊学院博士科研基金项目2007BS09

摘　　要：DNA计算是应用分子生物技术进行计算的新方法。应用形式语言及自动机理论技术研究DNA计算理论,有利于推动理论计算科学的发展。本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应用DNA计算方法求解3-SAT问题。DNA computing is a new method for computation using the technology in molecular biology. Using the formal language and automata theory technology to study DNA computing theory will be of benefit to computing science theory. In this paper, the formal description of DNA molecular be given based on its structure and characteristic, and then the grammar structures and the computational capacity of DNA sticker model be introduced. Finaly, the 3 - SAT problem be solved by DNA computing method.

关 键 词：DNA计算 DNA粘接计算模型 3-SAT问题 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]