DNA computing based on splicing: universality results.

E. Csuhaj-Varjú, R. Freund, L. Kari, G. Paun

Research output: Chapter in Book/Report/Conference proceedingChapter

23 Citations (Scopus)

Abstract

The paper extends some of the most recently obtained results on the computational universality of specific variants of H systems (e.g. with regular sets of rules) and proves that we can construct universal computers based on various types of H systems with a finite set of splicing rules as well as a finite set of axioms, i.e. we show the theoretical possibility to design programmable universal DNA computers based on the splicing operation. For H systems working in the multiset style (where the numbers of copies of all available strings are counted) we elaborate how a Turing machine computing a partial recursive function can be simulated by an equivalent H system computing the same function; in that way, from a universal Turning machine we obtain a universal H system. Considering H systems as language generating devices we have to add various simple control mechanisms (checking the presence/absence of certain symbols in the spliced strings) to systems with a finite set of splicing rules as well as with a finite set of axioms in order to obtain the full computational power, i.e. to get a characterization of the family of recursively enumerable languages. We also introduce test tube systems, where several H systems work in parallel in their tubes and from time to time the contents of each tube are redistributed to all tubes according to certain separation conditions. By the construction of universal test tube systems we show that also such systems could serve as the theoretical basis for the development of biological (DNA) computers.

Original languageEnglish
Title of host publicationPacific Symposium on Biocomputing. Pacific Symposium on Biocomputing
Pages179-190
Number of pages12
Publication statusPublished - 1996

Fingerprint

Molecular Computers
Language
DNA
Equipment and Supplies

Cite this

Csuhaj-Varjú, E., Freund, R., Kari, L., & Paun, G. (1996). DNA computing based on splicing: universality results. In Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing (pp. 179-190)

DNA computing based on splicing : universality results. / Csuhaj-Varjú, E.; Freund, R.; Kari, L.; Paun, G.

Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing. 1996. p. 179-190.

Research output: Chapter in Book/Report/Conference proceedingChapter

Csuhaj-Varjú, E, Freund, R, Kari, L & Paun, G 1996, DNA computing based on splicing: universality results. in Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing. pp. 179-190.
Csuhaj-Varjú E, Freund R, Kari L, Paun G. DNA computing based on splicing: universality results. In Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing. 1996. p. 179-190
Csuhaj-Varjú, E. ; Freund, R. ; Kari, L. ; Paun, G. / DNA computing based on splicing : universality results. Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing. 1996. pp. 179-190
@inbook{3a02dc4a653d4e95842f81ed1c0c0209,
title = "DNA computing based on splicing: universality results.",
abstract = "The paper extends some of the most recently obtained results on the computational universality of specific variants of H systems (e.g. with regular sets of rules) and proves that we can construct universal computers based on various types of H systems with a finite set of splicing rules as well as a finite set of axioms, i.e. we show the theoretical possibility to design programmable universal DNA computers based on the splicing operation. For H systems working in the multiset style (where the numbers of copies of all available strings are counted) we elaborate how a Turing machine computing a partial recursive function can be simulated by an equivalent H system computing the same function; in that way, from a universal Turning machine we obtain a universal H system. Considering H systems as language generating devices we have to add various simple control mechanisms (checking the presence/absence of certain symbols in the spliced strings) to systems with a finite set of splicing rules as well as with a finite set of axioms in order to obtain the full computational power, i.e. to get a characterization of the family of recursively enumerable languages. We also introduce test tube systems, where several H systems work in parallel in their tubes and from time to time the contents of each tube are redistributed to all tubes according to certain separation conditions. By the construction of universal test tube systems we show that also such systems could serve as the theoretical basis for the development of biological (DNA) computers.",
author = "E. Csuhaj-Varj{\'u} and R. Freund and L. Kari and G. Paun",
year = "1996",
language = "English",
pages = "179--190",
booktitle = "Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing",

}

TY - CHAP

T1 - DNA computing based on splicing

T2 - universality results.

AU - Csuhaj-Varjú, E.

AU - Freund, R.

AU - Kari, L.

AU - Paun, G.

PY - 1996

Y1 - 1996

N2 - The paper extends some of the most recently obtained results on the computational universality of specific variants of H systems (e.g. with regular sets of rules) and proves that we can construct universal computers based on various types of H systems with a finite set of splicing rules as well as a finite set of axioms, i.e. we show the theoretical possibility to design programmable universal DNA computers based on the splicing operation. For H systems working in the multiset style (where the numbers of copies of all available strings are counted) we elaborate how a Turing machine computing a partial recursive function can be simulated by an equivalent H system computing the same function; in that way, from a universal Turning machine we obtain a universal H system. Considering H systems as language generating devices we have to add various simple control mechanisms (checking the presence/absence of certain symbols in the spliced strings) to systems with a finite set of splicing rules as well as with a finite set of axioms in order to obtain the full computational power, i.e. to get a characterization of the family of recursively enumerable languages. We also introduce test tube systems, where several H systems work in parallel in their tubes and from time to time the contents of each tube are redistributed to all tubes according to certain separation conditions. By the construction of universal test tube systems we show that also such systems could serve as the theoretical basis for the development of biological (DNA) computers.

AB - The paper extends some of the most recently obtained results on the computational universality of specific variants of H systems (e.g. with regular sets of rules) and proves that we can construct universal computers based on various types of H systems with a finite set of splicing rules as well as a finite set of axioms, i.e. we show the theoretical possibility to design programmable universal DNA computers based on the splicing operation. For H systems working in the multiset style (where the numbers of copies of all available strings are counted) we elaborate how a Turing machine computing a partial recursive function can be simulated by an equivalent H system computing the same function; in that way, from a universal Turning machine we obtain a universal H system. Considering H systems as language generating devices we have to add various simple control mechanisms (checking the presence/absence of certain symbols in the spliced strings) to systems with a finite set of splicing rules as well as with a finite set of axioms in order to obtain the full computational power, i.e. to get a characterization of the family of recursively enumerable languages. We also introduce test tube systems, where several H systems work in parallel in their tubes and from time to time the contents of each tube are redistributed to all tubes according to certain separation conditions. By the construction of universal test tube systems we show that also such systems could serve as the theoretical basis for the development of biological (DNA) computers.

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

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

M3 - Chapter

C2 - 9390231

AN - SCOPUS:0030309270

SP - 179

EP - 190

BT - Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing

ER -