Dna Computing System Based On Base Matching Their Coded

The information transfer process in DNA molecular is a bi-directional process including encoding and decoding, which makes a natural parallel computing mechanism, it is becoming a new research field in theoretical computer science while using mathematical method to analyze this mechanism. The research aim of DNA computing is to establish a new biological computing system. How to create theoretical models and how to find efficient experiment methods are presently the two main research contents of DNA computing. The research title selected in this thesis is especially about the coding theory of DNA computing model. It is important for the realization of DNA computing model that designing good code, so we give a systemic analysis about the mathematic structure of DNA codes, and have a discussion about how to design DNA code for computing which can avoid the incorrect matching between two single DNA strands.In this thesis, we first give some discussions about model creation problems of DNA computing, in which we use formal language and automata theory to analyze the properties of DNA sequences, and give a mathematical expression about Watson- Crick complementarities; the core content of this thesis is about DNA code, including such problems about coding model creation and its structure analysis. In aspect of the question about model creation, we analyze the existing DNA computing model-- sticker system model, and give some improvements, in another aspect of coding structure analysis, based on the sticker system model, we analyze the coding problems in detail about how to avoid the incorrect matching between two single DNA strands.Some results we've got in this thesis are: firstly, putting forward a new theoretical model which based on the mechanism of the ligation between target gene and vector molecular, and prove its expression ability of Turing machine properties; secondly, bringing forward an extended sticker system model; thirdly, creating some DNA code designing principles based on coding theory.