Length-separating test tube systems

  • Authors:

  • Erzsébet Csuhaj-Varjú;Sergey Verlan

  • Affiliations:

  • Computer and Automation Research Institute, Hungarian Academy of Sciences, Budapest, Kende u.;LACL, Département Informatique, Université Paris 12, Créteil, France

  • Venue:
  • DNA'06 Proceedings of the 12th international conference on DNA Computing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.