Length-separating test tube systems

E. Csuhaj-Varjú, Sergey Verlan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages58-70
Number of pages13
Volume4287 LNCS
DOIs
Publication statusPublished - 2006
Event12th International Meeting on DNA Computing, DNA12 - Seoul, Korea, Republic of
Duration: Jun 5 2006Jun 9 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4287 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other12th International Meeting on DNA Computing, DNA12
CountryKorea, Republic of
CitySeoul
Period6/5/066/9/06

Fingerprint

Electrophoresis
Formalization
Tube
Turing Machine
Gels
Computational Model
Turing machines
Filtering
Molecules
Model-based
Restriction
DNA
Model
Network protocols
Generalization
Concepts

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Csuhaj-Varjú, E., & Verlan, S. (2006). Length-separating test tube systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4287 LNCS, pp. 58-70). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4287 LNCS). https://doi.org/10.1007/11925903_5

Length-separating test tube systems. / Csuhaj-Varjú, E.; Verlan, Sergey.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4287 LNCS 2006. p. 58-70 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4287 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Csuhaj-Varjú, E & Verlan, S 2006, Length-separating test tube systems. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4287 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4287 LNCS, pp. 58-70, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, Republic of, 6/5/06. https://doi.org/10.1007/11925903_5
Csuhaj-Varjú E, Verlan S. Length-separating test tube systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4287 LNCS. 2006. p. 58-70. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11925903_5
Csuhaj-Varjú, E. ; Verlan, Sergey. / Length-separating test tube systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4287 LNCS 2006. pp. 58-70 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{4406fbcb4af048229efba7e7f37636c6,
title = "Length-separating test tube systems",
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.",
author = "E. Csuhaj-Varj{\'u} and Sergey Verlan",
year = "2006",
doi = "10.1007/11925903_5",
language = "English",
isbn = "3540490248",
volume = "4287 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "58--70",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Length-separating test tube systems

AU - Csuhaj-Varjú, E.

AU - Verlan, Sergey

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77049095614&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77049095614&partnerID=8YFLogxK

U2 - 10.1007/11925903_5

DO - 10.1007/11925903_5

M3 - Conference contribution

SN - 3540490248

SN - 9783540490241

VL - 4287 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 58

EP - 70

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -