DNA计算与生物数学

被引:10
作者
孟大志
曹海萍
机构
[1] 北京工业大学应用数理学院,北京工业大学应用数理学院北京,北京
关键词
形式语言; 自装配;
D O I
暂无
中图分类号
Q523 [脱氧核糖核酸(DNA)];
学科分类号
071010 ; 081704 ;
摘要
介绍了一门新的科学领域─DNA计算的一些基本概念和基础知识 ,并提出了一些创造性的看法 ,而且给出了一些新的结论。主要从以下几个方面叙述 :DNA计算的常用操作、DNA计算的几种形式化模型、并以其中一种模型为例证明了DNA计算的完备性和通用性 ,还介绍了DNA计算的重要机制 ,自装配的基本概念及自装配常用分子 ,并给出了一些常用分子的自装配与形式语言产生过程的对应 ,证明了双链分子的自装配能够产生于线性语言对应的分子链 ,不同于一般认为的双链分子仅能产生于正规语言相对应的分子链。另外 ,自装配的复杂度也是一个很重要的内容 ,最后提出了对DNA计算这一新兴领域的前景及发展的创造性看法
引用
收藏
页码:163 / 174
页数:12
相关论文
共 15 条
[1]  
Ontheundecidabilityofsplicingsystems. DeninnghoffKL,GatterdamRW. IntJComputerMath . 1989
[2]  
OnthepathtocomputationwithDNA. GifferdDK. Science . 1994
[3]  
DNAComputingonSurfaces. LiuQH,LimanW,FrutosA,etal. Nature . 2000
[4]  
Molecularcomputationofsolutionstocombinatarialproblems. AdlemanLM. Science . 1994
[5]  
Onthepowerofthesplicingoperation. PaunG. IntJComputerMath . 1995
[6]  
OnthecomputationalpowerofDNA. BonehD,LiptonR. DiscreteApplMath . 1996
[7]  
MolecularComputation:RNASolutionstoChessProblems. FaulhammerD,CukrasD,LiptonRJ,etal. Proceedings of the National Academy of Sciences of the United States of America . 2000
[8]  
DNAandtwistfreesplicingsystems,inWords,LanguagesandCombinatorics. GatterdamRW. . 1994
[9]  
LinearDNAself-assemblywithhairpinslinearcontext-freegrammars. TonyLE. DIMACSseriesindiscretemathematicsandtheoreticalcomputerscience . 1999
[10]  
DNAcomputing:ArrivalofBiologicalMathematics. LilaK. TheMathematicalIntelligencer . 1997