Abstract
Systems based on the splicing operation are computationally complete. Usually demonstrations of this are based on simulations of type-0 grammars. We propose a different way to reach this result by solving Diophantine equations using extended H system with permitting context. Completeness then follows from Matiyasevichâs theorem stating that the class of Diophantine sets is identical to the class of recursive enumerable sets.
Solutions to a Diophantine equation are found in parallel. The numbers are coded in base one.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
E. Csuhaj-Varju, R. Freund, L. Kari, Gh. PÄun: DNA computing based on splicing: universality results. Proc. First Annual Pacific. Symposium in Biocomputing, Hawaii, 1996 (L. Hunter, T. E. Klein, eds.), World Scientific, Singapore, 1996, 179â190
K. L. Denninghoff, R. W. Gatterdam: On the undecidability of splicing systems. International Journal of Computer and Mathematics, 27 (1989), 133â145
R. Freund, L. Kari. G. PÄun: DNA computing based on splicing. The existence of universal computers. Technical Report 185-2/FR-2/95, Technical Univ. Wien, 1995, and Theories of Computer Sci. in press
P. Frisco: Parallel Arithmetic with Splicing. To appear in Romanian Journal of Information Science and Technology (ROMJIST)
T. Head, Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors, Bulletin of Mathematical Biology, 49 (1987), 737â759
Yuri Matiyasevich: Hilbertâs tenth problem. MIT Press Cambridge, London, 1993
Gh. PÄun: DNA computing based on splicing: universality results. Proceedings of the Second Internal Colloquium on Universal Machines and Computations, Metz, 1998, Vol. I, 67â91
Gh. PÄun, (DNA) Computing by carving, Soft Computing, 3, 1 (1999), 30â36
Gh. PÄun, On the splicing operation, Discrete Appl. Math., 70 (1996), 57â79
Gh. PÄun: Splicing systems with targets are computationally complete. Inform. Processing Letters, 59 (1996), 129â133
Gh. PÄun, G. Rozenberg, A. Salomaa: Computing by splicing. Programmed and evolving splicing systems. IEEE Inter. Conf. on Evolutionary Computing, Indianapolis, 1997, 273â277
Gh. PÄun, G. Rozenberg, A. Salomaa: DNA Computing. Springer-Verlag, 1998
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Âİ 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Frisco, P. (2001). Diophantine equations and splicing: A new demonstration of the generative capability of H systems. In: Condon, A., Rozenberg, G. (eds) DNA Computing. DNA 2000. Lecture Notes in Computer Science, vol 2054. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44992-2_4
Download citation
DOI: https://doi.org/10.1007/3-540-44992-2_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42076-7
Online ISBN: 978-3-540-44992-8
eBook Packages: Springer Book Archive