粘贴DNA计算机模型(Ⅰ):理论

粘贴模型(stickermodels)是目前DNA计算机模型中的一种主要模型之一.该模型采用单、双链混合型DNA分子进行编码,具有在生物操作过程中不需要DNA链的延伸、不需要生物酶的作用以及DNA链可重复使用等优点.因而受到不同学科学者的关注与兴趣.对此模型分理论、应用两个部分进行了比较系统地论述,理论部分的具体内容是首先比较系统地介绍了粘贴计算的经典模型的有关基本理论;其次讨论了在粘贴模型与形式语言基础上建立起来的一种抽象的计算模型——粘贴系统;第三,对粘贴模型进行了推广和进一步的完善,提出两种在应用上更为广泛、理论上进一步完善的模型一个是所谓的k-进制粘贴模型,另一个是所谓的全信息粘贴DNA计算模型.