Length-Separating Test Tube Systems
In this article we propose a formalization of protocols simulating the separation of molecules by gel electrophoresis. In our model, we introduce a new concept, namely, filtering by length – a direct formalization of the gel electrophoresis action. We also define a distributed computational model based on this action and on the splicing operation, called length-separating splicing test tube systems. We prove that these constructs, even with restricted size parameters, can simulate the Turing machines. We also discuss different natural restrictions and generalizations of the model which may be used to find efficient ways to realize DNA transformations in the laboratory.
KeywordsTest Tube Turing Machine Regular Language Communication Graph Communication Step
Unable to display preview. Download preview PDF.
- 8.Verlan, S.: Head Systems and Applications to Bio-Informatics. PhD thesis, University of Metz, France (2004)Google Scholar