In this article we introduce a new variant of test tube systems based on splicing where the communication of the words among the test tubes is based on filtering by their lengths. The model, called length-separating test tube systems, is motivated by the gel electrophoresis laboratory technique. We prove that these constructs, even with restricted size parameters, simulate the Turing machines. We also discuss some natural restrictions and generalizations of the model, which may be used to find efficient ways to realize DNA transformations in the laboratory.
KeywordsGel electrophoresis Length separation Splicing Test tube systems Universality
This publication was supported by the Hungarian Foundation for Research and Technological Innovation (project no. TéT F-19/04) and the EGIDE in France (project no. Balaton 09000TC, year 2005) in the frame of the Hungarian-French Intergovernmental Scientific and Technological Cooperation.
- Hopcroft J, Motwani R, Ullman J (2001) Introduction to automata theory, languages, and computation, 2nd edn. Addison-Wesley, Reading, MassGoogle Scholar
- Khodor Y, Khodor J, Knight TF Jr (2002) Experimental confirmation of the basic principles of length-only discrimination. In: Jonoska N, Seeman NC (eds) DNA7. Lecture notes in computer science, vol 2340. Springer-Verlag, Berlin, pp 223–230Google Scholar
- Verlan S (2004a) Communicating distributed H systems with alternating filters. In: Jonoska N, Paun G, Rozenberg G (eds) Aspects of molecular computing. Essays Dedicated to Tom Head on the occasion of his 70th birthday. Lecture notes in computer science, vol 2950, pp 367–384. Springer Verlag, BerlinGoogle Scholar
- Verlan S (2004b) Head systems and applications to bio-informatics. PhD thesis, University of Metz, FranceGoogle Scholar