FORMAL MODELS OF DNA COMPUTING: A SURVEY
T Zingel · Proceedings of the Estonian Academy of Sciences Physics Mathematics · 2000
DNA computing is a method of solving mathematical problems with the help of biological operations on DNA strands.The paper gives an overview of the existing formal models of DNA computing.The biological and mathematical background is briefly described; splicing systems, insertion-deletion systems, and a model of DNA computing based on equality checking, DNA-EC, are considered more closely.