Abstract
In this article we show that time-varying distributed H systems (TVDH systems) with one component are able to model any type-0 grammar. Thus we completely answered to the question of constructing TVDH systems of smallest degree which generate any RE language using the parallel nature of molecular computations based on splicing operations. Another interesting point is that the proof is based on a simulation of a TVDH system of degree two and not of type-0 grammars as it is usually done in similar proofs.
Work supported by French Ministry of Education, NATO project PST.CLG.976912 and project IST-2001-32008 MolCoNet
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Head, T.: Formal language theory and DNA: an analysis of the generative capacity of recombinant behaviors. Bulletin of Mathematical Biology 49, 737–759 (1987)
Margenstern, M., Rogozhin, Y.: About Time-Varying Distributed H Systems. In: Condon, A., Rozenberg, G. (eds.) DNA 2000. LNCS, vol. 2054, pp. 53–62. Springer, Heidelberg (2001)
Margenstern, M., Rogozhin, Y.: Time-varying distributed H systems of degree 1 generate all recursively enumerable languages. In: Ito, M., Paun, G., Yu, S. (eds.) Words, Semigroups and Transductions, pp. 329–340. World Sci., Singapore (2001)
Margenstern, M., Rogozhin, Y., Verlan, S.: Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations. In: Hagiya, M., Ohuchi, A. (eds.) DNA 2002. LNCS, vol. 2568, pp. 326–336. Springer, Heidelberg (2003)
Păun, A.: On Time-Varying H Systems. Bulletin of EATCS 67, 157–164 (1999)
Păun, G., Rozenberg, G., Salomaa, A.: Computing by splicing. TCS 168(2), 321–336 (1996)
Păun, G.: DNA Computing Based on Splicing: Universality Results. TCS 231(2), 275–296 (2000)
Păun, G., Rozenberg, G., Salomaa, A.: DNA Computing: New Computing Paradigms. Springer, Heidelberg (1998)
Verlan, S.: A frontier result on enhanced time-varying distributed H systems with parallel computations. In: Preproceedings of DCFS 2003, Descriptional Complexity of Formal Systems, Budapest, Hungary, July 12-14, pp. 221–232 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Margenstern, M., Rogozhin, Y., Verlan, S. (2004). Time-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved. In: Chen, J., Reif, J. (eds) DNA Computing. DNA 2003. Lecture Notes in Computer Science, vol 2943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24628-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-24628-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20930-0
Online ISBN: 978-3-540-24628-2
eBook Packages: Springer Book Archive